From: Markus Triska Date: Wed, 8 Apr 2020 19:37:35 +0000 (+0200) Subject: add library(freeze) to make zcompare/3 work X-Git-Tag: v0.8.119~17^2^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4d32b6976ac854334402a02224358a18f8dbfccc;p=scryer-prolog.git add library(freeze) to make zcompare/3 work --- diff --git a/src/prolog/lib/clpz.pl b/src/prolog/lib/clpz.pl index 458c5d21..f650cd3a 100644 --- 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)).