Merge pull request #425 from triska/master

enable goal expansion for CLP(ℤ) goals
2020-04-30 18:20:27 -03:00
parent b6df5a4b7f 1dbadbfc35
commit 5870824d01
1 changed files with 1 additions and 1 deletions
--- 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).