diff --git a/CMakeLists.txt b/CMakeLists.txt
index a16726877..257a68642 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -16,7 +16,7 @@ set(VERSION_MAJOR 0)
 set(VERSION_MINOR 0)
 
 
-set(VERSION_PATCH 256)
+set(VERSION_PATCH 257)
 
 
 project(yosys_verific_rs)
diff --git a/yosys b/yosys
index 4e5aedd8e..1ae7ec706 160000
--- a/yosys
+++ b/yosys
@@ -1 +1 @@
-Subproject commit 4e5aedd8e7767ae2c68317972d2c8497d97a58a2
+Subproject commit 1ae7ec706f1b368d7cc1122945f652226fc6afcb
diff --git a/yosys-rs-plugin b/yosys-rs-plugin
index e183a8368..72866ef17 160000
--- a/yosys-rs-plugin
+++ b/yosys-rs-plugin
@@ -1 +1 @@
-Subproject commit e183a8368b8dd0b6babdfc065e43568cdce1d609
+Subproject commit 72866ef17bb5c2d3e6d3d6b6c7a4fb86eba8238c