FIXED: Take all variables into account during goal projection.

This addresses #1751.
2023-03-08 21:16:54 +01:00
parent c9ecfb11d9
commit 884b0ca10e
1 changed files with 1 additions and 1 deletions
--- a/src/lib/dif.pl
+++ b/src/lib/dif.pl
@@ -65,7 +65,7 @@ dif(X, Y) :-

 gather_dif_goals(_, []) --> [].
 gather_dif_goals(V, [(X \== Y) | Goals]) -->
-    (  { term_variables(X, [V0 | _]),
+    (  { term_variables(X-Y, [V0 | _]),
         V == V0 } ->
       [dif:dif(X, Y)]
    ;  []