diff --git a/tests/lean/exitAfterParseError.lean.expected.out b/tests/lean/exitAfterParseError.lean.expected.out
index 8e6c29a13b..87d0dd244a 100644
--- a/tests/lean/exitAfterParseError.lean.expected.out
+++ b/tests/lean/exitAfterParseError.lean.expected.out
@@ -1 +1 @@
-exitAfterParseError.lean:5:0: error: expected ':=' or '|'
+exitAfterParseError.lean:5:0: error: expected ':=', 'where' or '|'