diff --git a/CMakeLists.txt b/CMakeLists.txt
index 36afd95ee..bd05f3627 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -16,7 +16,7 @@ set(VERSION_MAJOR 0)
 set(VERSION_MINOR 0)
 
 
-set(VERSION_PATCH 259)
+set(VERSION_PATCH 258)
 
 
 project(yosys_verific_rs)
diff --git a/yosys b/yosys
index 4c691a5ee..1ae7ec706 160000
--- a/yosys
+++ b/yosys
@@ -1 +1 @@
-Subproject commit 4c691a5ee9e17ddacb37609974e7302e588281e5
+Subproject commit 1ae7ec706f1b368d7cc1122945f652226fc6afcb