From 760c1443836e990287b576b24dcb1902f7d081d5 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Tue, 17 Nov 2015 11:24:23 -0500
Subject: ModularBaseSystem.carry: implement, state lemmas, some progress on
 proofs

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 0e56c1ee2..d92e7e640 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -2,6 +2,7 @@
 -R fiat/src Fiat
 -R bedrock/Bedrock Bedrock
 src/Tactics/VerdiTactics.v
+src/Util/CaseUtil.v
 src/Util/ListUtil.v
 src/Galois/Galois.v
 src/Galois/GaloisTheory.v
-- 
cgit v1.2.3