From 5976e2d873df232412f262211b1a85d84bead36f Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 2 Mar 2021 09:50:25 -0700
Subject: [PATCH] do not check for non-unifiability in dif:attribute_goals,
 which is sure to succeed, resulting in no goals being printed at top-level
 (#844)

---
 src/lib/dif.pl | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/lib/dif.pl b/src/lib/dif.pl
index 9c3b8ed8..d9c475eb 100644
--- a/src/lib/dif.pl
+++ b/src/lib/dif.pl
@@ -41,7 +41,8 @@ verify_attributes(Var, Value, Goals) :-
 dif(X, Y) :-
     X \== Y,
     (   X \= Y -> true
-    ;   (   term_variables(X, XVars), term_variables(Y, YVars),
+    ;   (   term_variables(X, XVars),
+            term_variables(Y, YVars),
             dif_set_variables(XVars, X, Y),
             dif_set_variables(YVars, X, Y)
         )
@@ -49,9 +50,7 @@ dif(X, Y) :-
 
 gather_dif_goals([]) --> [].
 gather_dif_goals([(X \== Y) | Goals]) -->
-    (   { X \= Y } -> []
-    ;   [dif:dif(X, Y)]
-    ),
+    [dif:dif(X, Y)],
     gather_dif_goals(Goals).
 
 attribute_goals(X) -->
-- 
2.54.0