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). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%