From b24b6ab10903352d7d6a3ee4dd21de58ea9beb96 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Thu, 12 Mar 2020 10:47:30 +0000
Subject: [PATCH] Bump the RVFI_DII library.

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