Merge pull request #320 from triska/master

add library(freeze) to make zcompare/3 work
2020-04-09 12:26:31 -03:00
parent 45a99e576d 4d32b6976a
commit 184124586b
1 changed files with 1 additions and 0 deletions
--- a/src/prolog/lib/clpz.pl
+++ b/src/prolog/lib/clpz.pl
@@ -117,6 +117,7 @@
 :- use_module(library(terms)).
 :- use_module(library(error), []).
 :- use_module(library(si)).
+:- use_module(library(freeze)).

 % :- use_module(library(types)).