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: <input>:1:10 unexpected token at this precedence level; consider parenthesizing the term
+failed as expected, error: <input>:1:10: unexpected token at this precedence level; consider parenthesizing the term
 (x := 20)
-failed as expected, error: <input>:1:3 expected ')' or ':'
+failed as expected, error: <input>:1:3: expected ')' or ':'
 let x 10; x
-failed as expected, error: <input>:1:6 expected '|'
+failed as expected, error: <input>:1:6: expected '|'
 let x := y
-failed as expected, error: <input>:1:10 expected term
+failed as expected, error: <input>:1:10: expected term