diff --git a/CMakeLists.txt b/CMakeLists.txt
index 960cb335b..994deb7c5 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -16,7 +16,7 @@ set(VERSION_MAJOR 0)
 set(VERSION_MINOR 0)
 
 
-set(VERSION_PATCH 251)
+set(VERSION_PATCH 252)
 
 
 project(yosys_verific_rs)
diff --git a/yosys b/yosys
index 38b76d034..4e5aedd8e 160000
--- a/yosys
+++ b/yosys
@@ -1 +1 @@
-Subproject commit 38b76d03459101663978486dffa190f0ff5d05e3
+Subproject commit 4e5aedd8e7767ae2c68317972d2c8497d97a58a2
diff --git a/yosys-rs-plugin b/yosys-rs-plugin
index c6aa16475..6099efca3 160000
--- a/yosys-rs-plugin
+++ b/yosys-rs-plugin
@@ -1 +1 @@
-Subproject commit c6aa16475403a92b0eadf240a9239c779e064cc6
+Subproject commit 6099efca3e2d6ffbb5412bd17320fbe852e2e1a8