From 72f2185a94965fb11ece7e2495b12e4f0c98451f Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 1 Apr 2025 17:35:59 +0200
Subject: [PATCH] verific: fix restoring msg state after blackbox import

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 4221419af..3418ebe50 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3403,6 +3403,7 @@ struct VerificPass : public Pass {
 				veri_module->SetCompileAsBlackbox();
 			}
 		}
+		restore_blackbox_msg_state();
 	}
 #endif