From f2e878dbe784a0f81bca5ae4d9b51c62a16f6b2e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Jan 2015 16:26:41 -0800 Subject: [PATCH] fix(tests/lua/res1): adjust test to recent modifications --- tests/lua/res1.lua | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tests/lua/res1.lua b/tests/lua/res1.lua index 4216bd8a6..836cc217b 100644 --- a/tests/lua/res1.lua +++ b/tests/lua/res1.lua @@ -116,8 +116,7 @@ print_types(env, H1, H2, H3, H4, H5, H6, H7) print(tostring(Pr4) .. " : " .. tostring(tc:check(Pr4))) print("----------------") -print("Type checking again, but using trust_lvl=0, macros will be expanded during type checking") -local env = bare_environment({trust_lvl=0}) +local env = bare_environment({trust_lvl=1}) env = init_env(env) env = assert_some_axioms(env) local tc = type_checker(env)