From e86587b3f0590e3cc4aa005bf4577a9f84cc1056 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 12 May 2017 23:41:12 -0400
Subject: Split off Proper ZUtil lemmas

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 81ac314e9..e5f9b7cf8 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -294,5 +294,6 @@ src/Util/Tactics/UnifyAbstractReflexivity.v
 src/Util/Tactics/UniquePose.v
 src/Util/Tactics/VM.v
 src/Util/ZUtil/Definitions.v
+src/Util/ZUtil/Morphisms.v
 src/Util/ZUtil/Notations.v
 src/Util/ZUtil/Stabilization.v
-- 
cgit v1.2.3