qualify dif/2 call in reinforce_goal (#2135)

diff --git a/src/lib/dif.pl b/src/lib/dif.pl
index fedb320cccd1f095e97fe208050a364ca529039c..8efb42710c0fb8fe6493b6c5167990ba9a58ed66 100644 (file)
--- 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([], _).