From 224549fb88fd4d2301d643aa1fb60958d631b93c Mon Sep 17 00:00:00 2001
From: Sean Luchen <seanluchen@google.com>
Date: Mon, 2 Feb 2026 15:26:03 -0800
Subject: [PATCH] Guard vhdl_file::UNDEFINED behind VERIFIC_VHDL_SUPPORT.

Signed-off-by: Sean Luchen <seanluchen@google.com>
---
 frontends/verific/verific.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9f13eee23..6a1c81aa4 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3701,7 +3701,9 @@ struct VerificPass : public Pass {
 		if (GetSize(args) > argidx && (args[argidx] == "-f" || args[argidx] == "-F"))
 		{
 			unsigned verilog_mode = veri_file::UNDEFINED;
+#ifdef VERIFIC_VHDL_SUPPORT
 			unsigned vhdl_mode = vhdl_file::UNDEFINED;
+#endif
 			bool is_formal = false;
 			const char* filename = nullptr;