From 1e9b4f4aee2fc52ab1e54dd75057183c07d50747 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 22 Jan 2020 18:28:42 +0000
Subject: Include library in the project

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index b08c163..88ff260 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1 +1,2 @@
 -R CoqUp CoqUp
+-R lib/bbv/src/bbv bbv
\ No newline at end of file
-- 
cgit