diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index a8b7b077c..8294fb0ed 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3689,7 +3689,7 @@ struct VerificPass : public Pass {
 				continue;
 			}
 			if (args[argidx] == "-set_ignore_translate_off") {
-				veri_file::SetIgnoreTranslateOff(0);
+				veri_file::SetIgnoreTranslateOff(1);
 				continue;
 			}
 #endif