diff --git a/tests/lean/appParserIssue.lean.expected.out b/tests/lean/appParserIssue.lean.expected.out
index 2022f40ed8..ec6733ddce 100644
--- a/tests/lean/appParserIssue.lean.expected.out
+++ b/tests/lean/appParserIssue.lean.expected.out
@@ -1,5 +1,4 @@
-f 1 : (Nat → Nat) → Nat
-appParserIssue.lean:5:11: error: expected command
+appParserIssue.lean:5:11: error: unexpected token; expected longestMatch: empty list or '('
 f 1 (λ (x : Nat), x) : Nat
 f 1 (λ (x : Nat), x) : Nat
 appParserIssue.lean:12:13: error: unexpected token