diff --git a/src/prolog/lib/clpz.pl b/src/prolog/lib/clpz.pl index 0937d538..4725955b 100644 --- a/src/prolog/lib/clpz.pl +++ b/src/prolog/lib/clpz.pl @@ -3064,7 +3064,7 @@ is_false(var(X)) :- nonvar(X). :- dynamic(goal_expansion/1). -goal_expansion(Goal0, _Layout1, _Module, Goal, []) :- +user:goal_expansion(Goal0, Goal) :- \+ goal_expansion(false), clpz_expandable(Goal0), clpz_expansion(Goal0, Goal).