add library(freeze) to make zcompare/3 work

This commit is contained in:
Markus Triska
2020-04-08 22:09:59 +02:00
parent 45a99e576d
commit 4d32b6976a
+1
View File
@@ -117,6 +117,7 @@
:- use_module(library(terms)). :- use_module(library(terms)).
:- use_module(library(error), []). :- use_module(library(error), []).
:- use_module(library(si)). :- use_module(library(si)).
:- use_module(library(freeze)).
% :- use_module(library(types)). % :- use_module(library(types)).