amalgame/commit
delete unused module import
author | Jacco van Ossenbruggen |
---|---|
Tue Jul 8 14:22:32 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Tue Jul 8 18:33:49 2014 +0200 | |
commit | 15b6fca420c09c62bfc1b56c035ef02394c0820c |
tree | 25bc3dd74c7a2acf2a28f1006ca6515bd2e5d246 |
parent | d42ac5b01438f880c913094f069fbcdd007d6d5c |
Diff style: patch stat
diff --git a/lib/ag_modules/preloaded_mapping.pl b/lib/ag_modules/preloaded_mapping.pl index b1f2243..87857ff 100644 --- a/lib/ag_modules/preloaded_mapping.pl +++ b/lib/ag_modules/preloaded_mapping.pl @@ -1,6 +1,5 @@ :- module(preloaded_matcher,[]). -:- use_module(library(semweb/rdf_db)). :- use_module(library(semweb/rdfs)). :- use_module(library(amalgame/map)). :- use_module(library(amalgame/vocabulary)).