diff --git a/tests/lean/abbrev1.lean.expected.out b/tests/lean/abbrev1.lean.expected.out
index 6d1aa39e2..7b14670e6 100644
--- a/tests/lean/abbrev1.lean.expected.out
+++ b/tests/lean/abbrev1.lean.expected.out
@@ -1,3 +1,3 @@
 (λ (a : Type₁), 2 + 3) ℕ
 foo ℕ
-(λ (A : Type₁) (a : A), a) num 10
+is_typeof num 10