diff --git a/yosys_verific_rs b/yosys_verific_rs
index 7ee056f8..4c913ced 160000
--- a/yosys_verific_rs
+++ b/yosys_verific_rs
@@ -1 +1 @@
-Subproject commit 7ee056f8d5b75681af473b77ad7d0d37175b76b2
+Subproject commit 4c913ced51f3c5c47433f7a967cef39dd6e98079