diff --git a/tests/lean/beginEndAsMacro.lean.expected.out b/tests/lean/beginEndAsMacro.lean.expected.out
index b263ca186b..3a6da342a1 100644
--- a/tests/lean/beginEndAsMacro.lean.expected.out
+++ b/tests/lean/beginEndAsMacro.lean.expected.out
@@ -1,3 +1,3 @@
-beginEndAsMacro.lean:21:2: error: unsolved goals
+beginEndAsMacro.lean:19:2: error: unsolved goals
 x : Nat
 ⊢ x + 0 = x