From 4d32b6976ac854334402a02224358a18f8dbfccc Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 8 Apr 2020 21:37:35 +0200 Subject: [PATCH] add library(freeze) to make zcompare/3 work --- src/prolog/lib/clpz.pl | 1 + 1 file changed, 1 insertion(+) 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)). -- 2.54.0