diff --git a/tests/lua/tactic1.lua b/tests/lua/tactic1.lua
index 832195bb8..517dedeca 100644
--- a/tests/lua/tactic1.lua
+++ b/tests/lua/tactic1.lua
@@ -27,8 +27,8 @@ end
 print("-------------------")
 print(t:solve(env, ios, ps))
 print(t:solve(env, ios, ctx, p))
-assert(t:solve(env, ios, ps) == Var(0))
-assert(t:solve(env, ios, ctx, q) == Var(1))
+assert(t:solve(env, ios, ps) == Var(1))
+assert(t:solve(env, ios, ctx, q) == Var(0))
 local t2 = id_tactic() + id_tactic() + id_tactic()
 local r  = t2:solve(env, ios, ps)
 assert(#r == 3)