From: Markus Triska <triska@metalevel.at>
Date: Fri, 5 Feb 2021 20:06:08 +0000 (+0100)
Subject: ENHANCED: Enable goal expansion for CLP(ℤ).
X-Git-Tag: v0.9.0~150^2~65^2~13^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a228e46a393015546d6993e59bf178739c028aa6;p=scryer-prolog.git

ENHANCED: Enable goal expansion for CLP(ℤ).

This is now possible since #445 is resolved.
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index b7fa0ea7..ead80546 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3068,12 +3068,10 @@ is_false(var(X)) :- nonvar(X).
 
 :- dynamic(goal_expansion/1).
 
-% goal expansion is disabled for now, until #445 is resolved
-%
-% user:goal_expansion(Goal0, Goal) :-
-%         \+ goal_expansion(false),
-%         clpz_expandable(Goal0),
-%         clpz_expansion(Goal0, Goal).
+user:goal_expansion(Goal0, Goal) :-
+        \+ goal_expansion(false),
+        clpz_expandable(Goal0),
+        clpz_expansion(Goal0, Goal).
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%