diff --git a/CMakeLists.txt b/CMakeLists.txt
index 7ed7ec2e9..e9385bc93 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -15,7 +15,7 @@ endif(NOT CMAKE_BUILD_TYPE)
 set(VERSION_MAJOR 0)
 set(VERSION_MINOR 0)
 
-set(VERSION_PATCH 237)
+set(VERSION_PATCH 238)
 
 project(yosys_verific_rs)
 
diff --git a/yosys-rs-plugin b/yosys-rs-plugin
index b5ba29b0c..3b3b56612 160000
--- a/yosys-rs-plugin
+++ b/yosys-rs-plugin
@@ -1 +1 @@
-Subproject commit b5ba29b0c67c082af8f153be7ea1200cfadb11ae
+Subproject commit 3b3b56612b096ca49591a9578e35d2528a2c5131