From dda057b1bc02783bc4b987f0df45e28d8559bfe9 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Fri, 12 Aug 2022 14:51:15 +0000
Subject: [PATCH] Update BSV-RVFI-DII subrepo to fix load tracing.

---
 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 b6aa39d..eda547c 160000
--- a/src_Verifier/BSV-RVFI-DII
+++ b/src_Verifier/BSV-RVFI-DII
@@ -1 +1 @@
-Subproject commit b6aa39d1c31ff56bc51eb740710cb603ae9be1a5
+Subproject commit eda547c9f1d52973a74169ac77a77848778bb96d