diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3d9ee4745..84d5d8118 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 239)
+set(VERSION_PATCH 240)
 
 project(yosys_verific_rs)
 
diff --git a/yosys b/yosys
index 57d4b00ff..6bf50b66d 160000
--- a/yosys
+++ b/yosys
@@ -1 +1 @@
-Subproject commit 57d4b00ff52cc0473543465108879d0e26d8fa76
+Subproject commit 6bf50b66dd54f89c893f5d64de052c035da3e9a3