diff --git a/yosys_verific_rs b/yosys_verific_rs
index f7e18afa..f76bdcf0 160000
--- a/yosys_verific_rs
+++ b/yosys_verific_rs
@@ -1 +1 @@
-Subproject commit f7e18afab810c39d46ea55b024f35d98fe52c692
+Subproject commit f76bdcf0413a2a4ab757b36173f5908b152a2cfe