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