amalgame/commit
Merge branch 'master' of github.com:jrvosse/amalgame
author | Jacco van Ossenbruggen |
---|---|
Thu Mar 5 10:07:48 2020 +0100 | |
committer | Jacco van Ossenbruggen |
Thu Mar 5 10:07:48 2020 +0100 | |
commit | d40236820bdb6078d22c61137c5468e2e6bef754 |
tree | 48a14cc1fbeba12234b24c84364388374fd453e4 |
parent | db95713c7be9c7cff7b7a5da907cce7563bedc65 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).