From b0dca8dbd9bc959c5ccb5355e419b03714483668 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 10 Feb 2018 15:25:59 -0500
Subject: Add some ZRange operations

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 743a0a3a3..fa0dcff31 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6543,6 +6543,7 @@ src/Util/Tactics/UnfoldArg.v
 src/Util/Tactics/UnifyAbstractReflexivity.v
 src/Util/Tactics/UniquePose.v
 src/Util/Tactics/VM.v
+src/Util/ZRange/Operations.v
 src/Util/ZUtil/AddGetCarry.v
 src/Util/ZUtil/CPS.v
 src/Util/ZUtil/Definitions.v
-- 
cgit v1.2.3