From bb21b86c1f9192c8bb196ac4b601dd1af9e4fef8 Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Mon, 2 Jul 2012 16:06:20 -0400
Subject: [PATCH] Fixed naming conflict.
---
module/VuFind/src/VuFind/Search/{Empty => EmptySet}/Results.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
rename module/VuFind/src/VuFind/Search/{Empty => EmptySet}/Results.php (98%)
diff --git a/module/VuFind/src/VuFind/Search/Empty/Results.php b/module/VuFind/src/VuFind/Search/EmptySet/Results.php
similarity index 98%
rename from module/VuFind/src/VuFind/Search/Empty/Results.php
rename to module/VuFind/src/VuFind/Search/EmptySet/Results.php
index 8068e905ef3..af194d9de3a 100644
--- a/module/VuFind/src/VuFind/Search/Empty/Results.php
+++ b/module/VuFind/src/VuFind/Search/EmptySet/Results.php
@@ -25,7 +25,7 @@
* @license http://opensource.org/licenses/gpl-2.0.php GNU General Public License
* @link http://www.vufind.org Main Page
*/
-namespace VuFind\Search\Empty;
+namespace VuFind\Search\EmptySet;
use VuFind\Search\Base\Results as BaseResults;
/**
--
GitLab