remove unification from dif/2

diff --git a/src/prolog/lib/dif.pl b/src/prolog/lib/dif.pl
index 72101b825ff2749e0c04f0180ae00e8973a800dd..e830a206dc10549c30b715925c35990428973654 100644 (file)
--- a/src/prolog/lib/dif.pl
+++ b/src/prolog/lib/dif.pl
@@ -37,8 +37,7 @@ verify_attributes(Var, Value, Goals) :-
 % suggestions for improvement.
 
 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)
             ).