From 7c70026610f2ee620502eb106e5a74ed4df40afc Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Sun, 1 Feb 2026 00:16:10 -0800
Subject: [PATCH] Fix verific issue

---
 frontends/verific/verific.cc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 7c84f4a12..28cc850a9 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3862,11 +3862,16 @@ struct VerificPass : public Pass {
 
 		if (GetSize(args) > argidx && (args[argidx] == "-f" || args[argidx] == "-F" || args[argidx] == "-FF"))
 		{
-			unsigned verilog_mode = veri_file::SYSTEM_VERILOG;
 #ifdef YOSYSHQ_VERIFIC_EXTENSIONS
 			unsigned verilog_mode = veri_file::UNDEFINED;
 			unsigned vhdl_mode = vhdl_file::UNDEFINED;
 			bool is_formal = false;
+#endif
+#ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
+			unsigned verilog_mode = veri_file::SYSTEM_VERILOG;
+#endif
+#ifdef VERIFIC_VHDL_SUPPORT
+			unsigned vhdl_mode = vhdl_file::UNDEFINED;
 #endif
 			const char* filename = nullptr;