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)