From d125966c529bb4c17e421a663a3c77cee55f6f7b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 4 Feb 2020 10:14:31 -0800 Subject: [PATCH] chore: fix tests --- tests/lean/appParserIssue.lean.expected.out | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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