From: Mark <markjordanthom@gmail.com>
Date: Wed, 25 Oct 2023 18:26:01 +0000 (-0600)
Subject: qualify dif/2 call in reinforce_goal (#2135)
X-Git-Tag: remove~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ff19db00848fab1b442f0a6553a96d36b7b3132f;p=scryer-prolog.git

qualify dif/2 call in reinforce_goal (#2135)
---

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