diff --git a/tests/lean/run/ptrAddr.lean b/tests/lean/run/ptrAddr.lean
index 0e85b46360..640fd1ede1 100644
--- a/tests/lean/run/ptrAddr.lean
+++ b/tests/lean/run/ptrAddr.lean
@@ -5,5 +5,5 @@ def y := x
 @[noinline] def mk (v : Nat) := (v, v+1)
 
 #eval withPtrAddr x (fun a => dbgTrace (">> " ++ toString a) $ fun _ => 0) TrustMe
-#eval withPtrEq (fun a b => dbgTrace (">> " ++ toString a ++ " == " ++ toString b) $ fun _ => a == b) TrustMe x y -- should not print message
-#eval withPtrEq (fun a b => dbgTrace (">> " ++ toString a ++ " == " ++ toString b) $ fun _ => a == b) TrustMe x (mk 1) -- should print message
+#eval withPtrEq x y (fun _ => dbgTrace (">> " ++ toString x ++ " == " ++ toString y) $ fun _ => x == y) TrustMe -- should not print message
+#eval withPtrEq x (mk 1) (fun _ => dbgTrace (">> " ++ toString x ++ " == " ++ toString y) $ fun _ => x == y) TrustMe -- should print message