fix needless check in dif/2 implementation
@@ -38,10 +38,8 @@ verify_attributes(Var, Value, Goals) :-
dif(X, Y) :- X \== Y,
( X \= Y -> true
; term_variables(X, XVars), term_variables(Y, YVars),
- ( XVars == [], YVars == [] -> false
- ; dif_set_variables(XVars, X, Y),
+ dif_set_variables(XVars, X, Y),
dif_set_variables(YVars, X, Y)
- )
).
gather_dif_goals(Attrs, _) :-
