From 3fd5f652ba38a0b308b6e2e86783d82b861fb5bf Mon Sep 17 00:00:00 2001
From: Samuel Gruetter <samuel.gruetter@epfl.ch>
Date: Fri, 2 Feb 2018 16:09:01 -0500
Subject: minor updates needed to make it compile with bbv

removing lemma wordToNat_wzero is ok because it's already in bbv
---
 bbv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bbv')

diff --git a/bbv b/bbv
index 8bd42f213..bf459e537 160000
--- a/bbv
+++ b/bbv
@@ -1 +1 @@
-Subproject commit 8bd42f21304d7a22c1b1225fe81236ad106a5309
+Subproject commit bf459e5378c13ca73cb5f2ca17ab2b55069ff82a
-- 
cgit v1.2.3