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