diff --git a/CMakeLists.txt b/CMakeLists.txt
index 994deb7c5..652837de6 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -16,7 +16,7 @@ set(VERSION_MAJOR 0)
 set(VERSION_MINOR 0)
 
 
-set(VERSION_PATCH 252)
+set(VERSION_PATCH 253)
 
 
 project(yosys_verific_rs)
diff --git a/RTL_Benchmark b/RTL_Benchmark
index acdc753a2..749a5be98 160000
--- a/RTL_Benchmark
+++ b/RTL_Benchmark
@@ -1 +1 @@
-Subproject commit acdc753a23a8c27cba38a7c65ce4ba1794f431e8
+Subproject commit 749a5be9870c9ca4bbf56feae51a043f53d4352d