From ff19db00848fab1b442f0a6553a96d36b7b3132f Mon Sep 17 00:00:00 2001
From: Mark <markjordanthom@gmail.com>
Date: Wed, 25 Oct 2023 12:26:01 -0600
Subject: [PATCH] qualify dif/2 call in reinforce_goal (#2135)

---
 src/lib/dif.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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([], _).
-- 
2.54.0