From 2899e0975441c9dc3d82c360afcd65d437c5e815 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 14 Oct 2020 13:23:25 -0700 Subject: [PATCH] chore: fix test --- tests/compiler/termparsertest1.lean.expected.out | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/compiler/termparsertest1.lean.expected.out b/tests/compiler/termparsertest1.lean.expected.out index ad2dbf867c..b98074d984 100644 --- a/tests/compiler/termparsertest1.lean.expected.out +++ b/tests/compiler/termparsertest1.lean.expected.out @@ -326,10 +326,10 @@ f 20 max a b (Term.app `max [`a `b]) f {x : a} -> b -failed as expected, error: :1:10 unexpected token at this precedence level; consider parenthesizing the term +failed as expected, error: :1:10: unexpected token at this precedence level; consider parenthesizing the term (x := 20) -failed as expected, error: :1:3 expected ')' or ':' +failed as expected, error: :1:3: expected ')' or ':' let x 10; x -failed as expected, error: :1:6 expected '|' +failed as expected, error: :1:6: expected '|' let x := y -failed as expected, error: :1:10 expected term +failed as expected, error: :1:10: expected term