amalgame/commit

Merge branch 'master' of github.com:jrvosse/amalgame

authorJacco van Ossenbruggen
Thu Mar 5 10:07:48 2020 +0100
committerJacco van Ossenbruggen
Thu Mar 5 10:07:48 2020 +0100
commitd40236820bdb6078d22c61137c5468e2e6bef754
tree48a14cc1fbeba12234b24c84364388374fd453e4
parentdb95713c7be9c7cff7b7a5da907cce7563bedc65 2208be992dcc37650aa80ef7ec64b5f616cddde4
Diff style: patch stat
diff --cc lib/amalgame/vocabulary.pl
index dec826e,ec553e9..a73c12a
--- a/lib/amalgame/vocabulary.pl
+++ b/lib/amalgame/vocabulary.pl
@@@ -13,9 -13,8 +13,9 @@@
  :- use_module(library(lists)).
  :- use_module(library(ordsets)).
  :- use_module(library(option)).
 +:- use_module(library(pairs)).
  :- use_module(library(settings)).
- :- use_module(library(semweb/rdf_db)).
+ :- use_module(library(semweb/rdf11)).
  :- use_module(library(semweb/rdfs)).
  :- use_module(library(skos/util)).
  :- use_module(ag_stats).