whd1: let's play safe

LPCIC · Oct 8, 2019 · 01c78b1 · 01c78b1
1 parent 29d50ad
commit 01c78b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/engine/reduction.elpi b/engine/reduction.elpi
@@ -48,7 +48,7 @@ whd-indc A GR KA :- whd A [] VA C, !, VA = global (indc GR), KA = C.
 whd1 T R :-
   whd T [] HD ARGS,
   unwind HD ARGS R,
-  not(T = R).
+  not(same_term T R).
 
 % iota step
 pred match-red i:@constructor, i:list term, i:list term, i:@stack, o:term, o:@stack.