diff --git a/tests/lean/lua12.lean.expected.out b/tests/lean/lua12.lean.expected.out
new file mode 100644
index 000000000..34010c935
--- /dev/null
+++ b/tests/lean/lua12.lean.expected.out
@@ -0,0 +1,7 @@
+  Set: pp::colors
+  Set: pp::unicode
+  Assumed: x
+  Assumed: y
+  Assumed: z
+x + y + 1000	:	ℤ
+x + y + 1000 + 3