diff --git a/src_Verifier/BSV-RVFI-DII b/src_Verifier/BSV-RVFI-DII
index 80a0b76..13ca470 160000
--- a/src_Verifier/BSV-RVFI-DII
+++ b/src_Verifier/BSV-RVFI-DII
@@ -1 +1 @@
-Subproject commit 80a0b7681bfe019e09a4af0a17f0840058913c09
+Subproject commit 13ca470038910d37e17422128c9f1bfc35322102