From ea11b13892c52ddcfce22b5fc18e53a7ddd6fa80 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Mon, 6 Jun 2016 23:13:50 -0400
Subject: generic field definition

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 416b29176..de22ff9d4 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -2,6 +2,7 @@
 src/BaseSystem.v
 src/BaseSystemProofs.v
 src/EdDSAProofs.v
+src/Field.v
 src/Rep.v
 src/Testbit.v
 src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v
-- 
cgit v1.2.3