From ba19a0d5912b828c2c224495ed401c79fd931d69 Mon Sep 17 00:00:00 2001 From: Dhaval Chaudhari Date: Sun, 4 Jan 2026 01:30:15 +0530 Subject: [PATCH] set 1 --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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