diff --git a/yosys_verific_rs b/yosys_verific_rs
index e1032700..b9f462d1 160000
--- a/yosys_verific_rs
+++ b/yosys_verific_rs
@@ -1 +1 @@
-Subproject commit e10327003d15fdac8231d086be5488ac443d9b5c
+Subproject commit b9f462d10cdc72b17cdc73daeb217c99ccb8ac33