diff --git a/tests/lean/run/frontend1.lean b/tests/lean/run/frontend1.lean
index 5e48c348ea..4ab4ce0e5c 100644
--- a/tests/lean/run/frontend1.lean
+++ b/tests/lean/run/frontend1.lean
@@ -27,6 +27,7 @@ pure "hello"
 #eval run "#check HasAdd.add one two"
 #eval run "#check one + two > one ∧ True"
 #eval run "#check act1 >>= IO.println"
+#eval run "#check one + two == one"
 
 #eval run
 "universe u universe v