From ef3ce824f87fd11eed78a13a884579499a8ffc53 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 2 Apr 2019 17:51:17 -0400
Subject: Add Z.combine_at_bitwidth

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 8c26d122b..cc94c6619 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -273,6 +273,7 @@ src/Util/ZUtil/AddGetCarry.v
 src/Util/ZUtil/AddModulo.v
 src/Util/ZUtil/CC.v
 src/Util/ZUtil/CPS.v
+src/Util/ZUtil/Combine.v
 src/Util/ZUtil/Definitions.v
 src/Util/ZUtil/DistrIf.v
 src/Util/ZUtil/Div.v
-- 
cgit v1.2.3