From d005d4ea61f1b637d620d494795438621bb0c77d Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Wed, 9 Mar 2022 14:55:46 +0000
Subject: [PATCH] Bump BSV-RVFI-DII

---
 src_Verifier/BSV-RVFI-DII | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src_Verifier/BSV-RVFI-DII b/src_Verifier/BSV-RVFI-DII
index fbfe5a1..b6aa39d 160000
--- a/src_Verifier/BSV-RVFI-DII
+++ b/src_Verifier/BSV-RVFI-DII
@@ -1 +1 @@
-Subproject commit fbfe5a1c9d9d6cb5b6122d9ea1732b5a69ea7ed7
+Subproject commit b6aa39d1c31ff56bc51eb740710cb603ae9be1a5