From 8d61c8db73a67cd320be280617e13c054d8d1215 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jonwoodruff@gmail.com>
Date: Fri, 27 Mar 2020 15:54:06 +0000
Subject: [PATCH] Remove unnecessary copy of submodule.

---
 .gitmodules       | 3 ---
 libs/BSV-RVFI-DII | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 libs/BSV-RVFI-DII

diff --git a/.gitmodules b/.gitmodules
index d0ff1bc..32bf485 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -10,6 +10,3 @@
 [submodule "libs/cheri-cap-lib"]
 	path = libs/cheri-cap-lib
 	url = https://github.com/CTSRD-CHERI/cheri-cap-lib.git
-[submodule "libs/BSV-RVFI-DII"]
-	path = libs/BSV-RVFI-DII
-	url = https://github.com/CTSRD-CHERI/BSV-RVFI-DII.git
diff --git a/libs/BSV-RVFI-DII b/libs/BSV-RVFI-DII
deleted file mode 160000
index 1f702a8..0000000
--- a/libs/BSV-RVFI-DII
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 1f702a8b5b719cc48234c2245b3820e4caa31a20