From 59ea974cfae7041fd312195ee5c2b39c94e29e1b Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 12 May 2017 13:11:37 -0400
Subject: Split off notation and defs in ZUtil

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 3e5fa4d16..81ac314e9 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -293,4 +293,6 @@ src/Util/Tactics/TransparentAssert.v
 src/Util/Tactics/UnifyAbstractReflexivity.v
 src/Util/Tactics/UniquePose.v
 src/Util/Tactics/VM.v
+src/Util/ZUtil/Definitions.v
+src/Util/ZUtil/Notations.v
 src/Util/ZUtil/Stabilization.v
-- 
cgit v1.2.3