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.
---
 bbv | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 bbv

(limited to 'bbv')

diff --git a/bbv b/bbv
deleted file mode 160000
index 143c47ba1..000000000
--- a/bbv
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 143c47ba1267a0a700c17bdf5bbded9b6e4bfbb1
-- 
cgit v1.2.3