From 4483d41d6a510e01041f05546643934c9d2a887b Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Fri, 26 Apr 2019 16:41:41 -0400
Subject: Remove bbv dependency

No code in fiat-crypto depends on bbv anymore, so delete it.

Closes https://github.com/mit-plv/fiat-crypto/issues/481.
---
 .gitmodules | 3 ---
 1 file changed, 3 deletions(-)

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
index 0a919ab11..ff4ce384d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,9 +1,6 @@
 [submodule "etc/coq-scripts"]
 	path = etc/coq-scripts
 	url = https://github.com/JasonGross/coq-scripts.git
-[submodule "bbv"]
-	path = bbv
-	url = ../../mit-plv/bbv.git
 [submodule "coqprime"]
 	path = coqprime
 	url = https://github.com/thery/coqprime
-- 
cgit v1.2.3