diff --git a/tests/lean/type_error_at_eval_expr.lean.expected.out b/tests/lean/type_error_at_eval_expr.lean.expected.out
index 5f17e591af..de19830752 100644
--- a/tests/lean/type_error_at_eval_expr.lean.expected.out
+++ b/tests/lean/type_error_at_eval_expr.lean.expected.out
@@ -1,6 +1,6 @@
 type_error_at_eval_expr.lean:3:0: error: eval_expr failed due to type error
 nested exception message:
-type mismatch at definition '_eval_expr.16.436', has type
+type mismatch at definition '_eval_expr.16.439', has type
   list ℕ
 but is expected to have type
   ℕ