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