From 305253c724b263476e0aaf0359e5f9ec83211be6 Mon Sep 17 00:00:00 2001
From: jadep <jade.philipoom@gmail.com>
Date: Mon, 13 Feb 2017 13:07:18 -0500
Subject: Moved N lemmas from Ed25519 and IterAssocOp into new NUtil file

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index ad5fd28b5..f13bf2b2c 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -459,6 +459,7 @@ src/Util/Logic.v
 src/Util/NatUtil.v
 src/Util/Notations.v
 src/Util/NumTheoryUtil.v
+src/Util/NUtil.v
 src/Util/Option.v
 src/Util/PartiallyReifiedProp.v
 src/Util/PointedProp.v
-- 
cgit v1.2.3