qualify dif/2 call in reinforce_goal (#2135)

2023-10-25 12:26:01 -06:00
parent f10d7c05f9
commit ff19db0084
1 changed files with 1 additions and 1 deletions
--- a/src/lib/dif.pl
+++ b/src/lib/dif.pl
@@ -46,7 +46,7 @@ reinforce_goal(Goal0, Goal) :-
        term_variables(Goal0, Vars),
        dif:vars_remove_goal(Vars, Goal0),
        Goal0 = (L \== R),
-        dif(L, R)
+        dif:dif(L, R)
    ).

 append_goals([], _).