From bcc7277b71d3ef1619a10143f567f769a3da8b56 Mon Sep 17 00:00:00 2001
From: jadep <jade.philipoom@gmail.com>
Date: Thu, 9 Feb 2017 14:01:40 -0500
Subject: added ZToRing to _CoqProject

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

diff --git a/_CoqProject b/_CoqProject
index 7705f3b06..d1ad2c1f1 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -3,6 +3,7 @@
 Bedrock/Nomega.v
 Bedrock/Word.v
 src/Algebra.v
+src/Algebra/ZToRing.v
 src/BaseSystem.v
 src/BaseSystemProofs.v
 src/EdDSARepChange.v
-- 
cgit v1.2.3