From e50a5974f7d8ace7f2efa8e2f900db412c55e1ad Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Wed, 28 May 2025 08:33:56 +0200
Subject: [PATCH] Get rid of SYNTHESIS redefinition warning

---
 frontends/verific/verific.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 56e00fb30..49bd63aae 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3956,6 +3956,7 @@ struct VerificPass : public Pass {
 
 			veri_file::DefineMacro("YOSYS");
 			veri_file::DefineMacro("VERIFIC");
+			veri_file::UndefineMacro("SYNTHESIS");
 			veri_file::DefineMacro(args[argidx] == "-formal" ? "FORMAL" : "SYNTHESIS");
 
 			for (argidx++; argidx < GetSize(args) && GetSize(args[argidx]) >= 2 && args[argidx].compare(0, 2, "-D") == 0; argidx++) {