diff --git a/tests/lean/push.lean.expected.out b/tests/lean/push.lean.expected.out
index 8e7167dcc..cabd0ba7d 100644
--- a/tests/lean/push.lean.expected.out
+++ b/tests/lean/push.lean.expected.out
@@ -8,6 +8,6 @@
 f a
 Error (line: 10, pos: 5) unknown identifier 'f'
 Variable first : Bool
-10 + 20 : ℤ
+10 ++ 20 : ℤ
 Error (line: 19, pos: 9) unknown identifier '++'
 Error (line: 21, pos: 0) main scope cannot be removed