diff --git a/yosys_verific_rs b/yosys_verific_rs
index 2542810a..661ef618 160000
--- a/yosys_verific_rs
+++ b/yosys_verific_rs
@@ -1 +1 @@
-Subproject commit 2542810a3a4abc7dc2ce796374cc9004c0db9465
+Subproject commit 661ef618e653cae3c01c4ee30f98390c5e0c2825