From: Markus Triska <triska@metalevel.at>
Date: Mon, 4 May 2020 16:55:41 +0000 (+0200)
Subject: disable goal expansion until #445 is resolved
X-Git-Tag: v0.8.123~58^2~2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2dfdaaa4ba971487ba949ba9c5dc3a8ba750aa28;p=scryer-prolog.git

disable goal expansion until #445 is resolved
---

diff --git a/src/prolog/lib/clpz.pl b/src/prolog/lib/clpz.pl
index 61d3e4b6..e4c8e897 100644
--- a/src/prolog/lib/clpz.pl
+++ b/src/prolog/lib/clpz.pl
@@ -3064,10 +3064,12 @@ is_false(var(X)) :- nonvar(X).
 
 :- dynamic(goal_expansion/1).
 
-user:goal_expansion(Goal0, Goal) :-
-        \+ goal_expansion(false),
-        clpz_expandable(Goal0),
-        clpz_expansion(Goal0, Goal).
+% 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).
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%