cluster_search/commit

Changed name of filter module to cs_filter.

authorChris Dijkshoorn
Wed Apr 9 11:54:22 2014 +0200
committerChris Dijkshoorn
Wed Apr 9 11:54:22 2014 +0200
commit843863eccb3dfe279d7b9960c71bfd6d2f9c9091
tree5ea401e5e608eae476d6b85b20cf2813af6e1151
parent8907a7d972b34b12e231cd0b2094aec9ca1c922f
Diff style: patch stat
diff --git a/lib/cluster_search/filter.pl b/lib/cluster_search/cs_filter.pl
similarity index 99%
rename from lib/cluster_search/filter.pl
rename to lib/cluster_search/cs_filter.pl
index ac100f7..88beb2d 100644
--- a/lib/cluster_search/filter.pl
+++ b/lib/cluster_search/cs_filter.pl
@@ -21,7 +21,7 @@
     along with ClioPatria.  If not, see <http://www.gnu.org/licenses/>.
 */
 
-:- module(filter,
+:- module(cs_filter,
 	  [ target_goal/3,            % +Goal, +R, +Options
 	    filter_to_goal/4,		% +FilterList, +R, -Goal, +Options
 	    search_filter/2,		%
diff --git a/lib/cluster_search/graph_search.pl b/lib/cluster_search/graph_search.pl
index 07e5386..c1a79ab 100644
--- a/lib/cluster_search/graph_search.pl
+++ b/lib/cluster_search/graph_search.pl
@@ -10,7 +10,7 @@
 % util modules
 :- use_module(rdf_search).
 :- use_module(rdf_backward_search).
-:- use_module(filter).
+:- use_module(cs_filter).
 :- use_module(library(cluster_search/settings)).
 
 %%	graph_search(+Keyword, -RDFState, +Options) is det.