From 7e3d941510ad65ea712f608a9e0b2a19437e9e84 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 13 May 2017 13:25:09 -0400
Subject: Add lemma justifying compiler optimization for adc

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index d62d571b6..f65bc9e84 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -293,6 +293,7 @@ src/Util/Tactics/TransparentAssert.v
 src/Util/Tactics/UnifyAbstractReflexivity.v
 src/Util/Tactics/UniquePose.v
 src/Util/Tactics/VM.v
+src/Util/ZUtil/AddGetCarry.v
 src/Util/ZUtil/Definitions.v
 src/Util/ZUtil/Div.v
 src/Util/ZUtil/EquivModulo.v
-- 
cgit v1.2.3