From 45858d54ae24bac0fd8d60e83de0ee9a7c8fd761 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 14 Nov 2013 15:51:47 -0800 Subject: [PATCH] test(frontends/lean): add missing expected output Signed-off-by: Leonardo de Moura --- tests/lean/lua12.lean.expected.out | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/lean/lua12.lean.expected.out 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