From f12a76a5cd25fe4fb96a86c0b7e300f6f5eed7ce Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 7 Jan 2014 15:03:46 -0800 Subject: [PATCH] test(frontends/lean/scanner): missing tests Signed-off-by: Leonardo de Moura --- src/tests/frontends/lean/scanner.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tests/frontends/lean/scanner.cpp b/src/tests/frontends/lean/scanner.cpp index 646110bd7..d2b080bfe 100644 --- a/src/tests/frontends/lean/scanner.cpp +++ b/src/tests/frontends/lean/scanner.cpp @@ -90,7 +90,7 @@ static void tst2() { check("\u03BB \u03A0 \u2192", {st::Lambda, st::Pi, st::Arrow}); scan("++\u2295++x\u2296\u2296"); check("++\u2295++x\u2296\u2296", {st::Id, st::Id, st::Id, st::Id, st::Id}); - scan("x10"); + scan("x10 ... == (* print('hello') *) have by"); check_name("x10", name("x10")); check_name("x::10", name(name("x"), 10)); check_name("x::10::bla::0", name(name(name(name("x"), 10), "bla"), 0u));