From f0bfea459039921fbb0531239da26f186b3688ef Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Thu, 12 Mar 2020 12:24:13 +0000
Subject: [PATCH] Bump submodule.

---
 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 68c65a8..1f702a8 160000
--- a/src_Verifier/BSV-RVFI-DII
+++ b/src_Verifier/BSV-RVFI-DII
@@ -1 +1 @@
-Subproject commit 68c65a8ad1c9001fd16fd6a64367e1d6e4b13ad0
+Subproject commit 1f702a8b5b719cc48234c2245b3820e4caa31a20