diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 4c61c9ac0..16e150bd2 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3689,7 +3689,7 @@ struct VerificPass : public Pass {
 				continue;
 			}
 			if (args[argidx] == "-set_relaxed_checking") {
-				VeriNode::SetRelaxedChecking(0);
+				VeriNode::SetRelaxedChecking(1);
 				continue;
 			}
 #endif