From d4f6f7373fc1f3a0ba1d1c17547f6d5b556bea5b Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 1 Apr 2017 22:58:27 -0400
Subject: Split off BoundedWord.v from IntegrationTest.v

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 574e38405..ca1e55bed 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -482,6 +482,7 @@ src/Test/Curve25519SpecTestVectors.v
 src/Util/AdditionChainExponentiation.v
 src/Util/AutoRewrite.v
 src/Util/Bool.v
+src/Util/BoundedWord.v
 src/Util/CPSUtil.v
 src/Util/CaseUtil.v
 src/Util/Curry.v
-- 
cgit v1.2.3