From 372e4e4dfbf09112c521c513b5459d1f61265dad Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Tue, 19 May 2020 16:36:59 +0100
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 80a0b76..13ca470 160000
--- a/src_Verifier/BSV-RVFI-DII
+++ b/src_Verifier/BSV-RVFI-DII
@@ -1 +1 @@
-Subproject commit 80a0b7681bfe019e09a4af0a17f0840058913c09
+Subproject commit 13ca470038910d37e17422128c9f1bfc35322102