diff --git a/src_Verifier/BSV-RVFI-DII b/src_Verifier/BSV-RVFI-DII
index b64f7a5..68c65a8 160000
--- a/src_Verifier/BSV-RVFI-DII
+++ b/src_Verifier/BSV-RVFI-DII
@@ -1 +1 @@
-Subproject commit b64f7a532d229f18baa58651f4066b7373c20ec1
+Subproject commit 68c65a8ad1c9001fd16fd6a64367e1d6e4b13ad0