From 4ec00e8ee78c1c7fa1f94d429b3b113bcf698e5b Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Tue, 14 Jun 2016 00:09:19 -0400
Subject: [field] and [nsatz] do things now again

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index de22ff9d4..4ad320808 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -4,6 +4,7 @@ src/BaseSystemProofs.v
 src/EdDSAProofs.v
 src/Field.v
 src/Rep.v
+src/SaneField.v
 src/Testbit.v
 src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v
 src/CompleteEdwardsCurve/DoubleAndAdd.v
-- 
cgit v1.2.3