diff --git a/Makefile b/Makefile
index ffe58df0e..b433073bd 100644
--- a/Makefile
+++ b/Makefile
@@ -175,7 +175,7 @@ ifeq ($(OS), Haiku)
 CXXFLAGS += -D_DEFAULT_SOURCE
 endif
 
-YOSYS_VER := 0.51+101
+YOSYS_VER := 0.51+107
 YOSYS_MAJOR := $(shell echo $(YOSYS_VER) | cut -d'.' -f1)
 YOSYS_MINOR := $(shell echo $(YOSYS_VER) | cut -d'.' -f2)
 YOSYS_COMMIT := $(shell echo $(YOSYS_VER) | cut -d'.' -f3)
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 6ec129116..c4e11281a 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3510,6 +3510,7 @@ struct VerificPass : public Pass {
 				veri_module->SetCompileAsBlackbox();
 			}
 		}
+		restore_blackbox_msg_state();
 	}
 #endif