amalgame/commit

removed unused modules

authorJacco van Ossenbruggen
Sun Mar 29 13:23:12 2020 +0200
committerJacco van Ossenbruggen
Sun Mar 29 13:23:12 2020 +0200
commit87985e71a2033030ac9dbe95abc8532661de5536
tree85074a330d7b8be518e46a23f460e7518eef6807
parentf17e0b1cd11295b48e6b6dc9f14d9eabeea67467
Diff style: patch stat
diff --git a/lib/amalgame/util.pl b/lib/amalgame/util.pl
index 35f4eb1..8418189 100644
--- a/lib/amalgame/util.pl
+++ b/lib/amalgame/util.pl
@@ -15,8 +15,6 @@
 :- use_module(library(apply)).
 :- use_module(library(gensym)).
 :- use_module(library(pairs)).
-:- use_module(library(sgml)).
-:- use_module(library(uri)).
 :- use_module(library(semweb/rdf11)).
 
 :- use_module(user(user_db)).