From e513f01db4f7bbf0e51aadd7e1a9530201d427b6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Tue, 29 Dec 2015 14:24:49 -0500
Subject: Code-reviewing EdDSA

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 8ab455d7b..b862cf7ac 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -17,3 +17,4 @@ src/Curves/PointFormats.v
 src/Assembly/WordBounds.v
 src/Curves/Curve25519.v
 src/Specific/GF25519.v
+src/Galois/EdDSA.v
-- 
cgit v1.2.3