From a692bf17d72585529b11c37e3316feca24083da4 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Mon, 3 Jun 2024 11:23:16 -0700
Subject: [PATCH] Improper ignore translates

---
 frontends/verific/verific.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 20c481550..043c0ae33 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3447,8 +3447,8 @@ struct VerificPass : public Pass {
 			veri_file::DefineMacro("OVL_SVA");
 
 			// Ignore translate_off statements
-			hdl_file_sort::SetIgnoreTranslateOff(0);
-			veri_file::SetIgnoreTranslateOff(0);
+			hdl_file_sort::SetIgnoreTranslateOff(1);
+			veri_file::SetIgnoreTranslateOff(1);
 
 			// Treat .v as SystemVerilog too (overriding default behavior to treat it as VERILOG_2000)
 			hdl_file_sort::RemoveFileExt(".v");