diff --git a/CMakeLists.txt b/CMakeLists.txt
index 652837de6..ccdc8a120 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -16,7 +16,7 @@ set(VERSION_MAJOR 0)
 set(VERSION_MINOR 0)
 
 
-set(VERSION_PATCH 253)
+set(VERSION_PATCH 254)
 
 
 project(yosys_verific_rs)
diff --git a/yosys-rs-plugin b/yosys-rs-plugin
index 883ff4f74..29c43c468 160000
--- a/yosys-rs-plugin
+++ b/yosys-rs-plugin
@@ -1 +1 @@
-Subproject commit 883ff4f7490d6e4e04ebd3cddce798cc02575157
+Subproject commit 29c43c46885001e7e55829915388a307ca182536