amalgame/commit

rdf_db -> rdf11

authorJacco van Ossenbruggen
Wed Mar 4 14:03:57 2020 +0100
committerJacco van Ossenbruggen
Wed Mar 4 14:03:57 2020 +0100
commitc1ab30235f362032cad7e8435a59c6e20bba030f
tree623470bd61523fdd5e4ad8b928d8c8e638ce94ec
parent6d1ae3c92276fa11f28c72869f841571eaebee12
Diff style: patch stat
diff --git a/lib/ag_modules/preloaded_mapping.pl b/lib/ag_modules/preloaded_mapping.pl
index 8a5dde8..6e13154 100644
--- a/lib/ag_modules/preloaded_mapping.pl
+++ b/lib/ag_modules/preloaded_mapping.pl
@@ -1,6 +1,7 @@
 :- module(preloaded_matcher,[]).
 
-:- use_module(library(semweb/rdf_db)).
+:- use_module(library(option)).
+:- use_module(library(semweb/rdf11)).
 :- use_module(library(semweb/rdfs)).
 :- use_module(library(amalgame/map)).
 :- use_module(library(amalgame/vocabulary)).