verific: fix restoring msg state after blackbox import

2025-04-01 17:35:59 +02:00 · 2025-04-01 17:35:59 +02:00 · 72f2185a94
parent c08f72b806
commit 72f2185a94
1 changed files with 1 additions and 0 deletions
--- 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