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