diff --git a/CMakeLists.txt b/CMakeLists.txt
index dcb9670f4..8b6595ee0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -14,7 +14,7 @@ endif(NOT CMAKE_BUILD_TYPE)
 
 set(VERSION_MAJOR 0)
 set(VERSION_MINOR 0)
-set(VERSION_PATCH 222)
+set(VERSION_PATCH 223)
 
 project(yosys_verific_rs)
 
diff --git a/yosys b/yosys
index e12042b02..2a12b4039 160000
--- a/yosys
+++ b/yosys
@@ -1 +1 @@
-Subproject commit e12042b02cbdbad0f8913fd1dc0ade480657a619
+Subproject commit 2a12b4039e5678e6084befe8bf3b46a8407aee62