From 2dfdaaa4ba971487ba949ba9c5dc3a8ba750aa28 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 4 May 2020 18:55:41 +0200 Subject: [PATCH] disable goal expansion until #445 is resolved --- src/prolog/lib/clpz.pl | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) 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). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -- 2.54.0