From 195d4ad5028816ac5755949f051e6c6035cfa5bf Mon Sep 17 00:00:00 2001
From: jadep <jade.philipoom@gmail.com>
Date: Mon, 24 Oct 2016 21:07:51 -0400
Subject: removed lingering TODO

---
 src/Experiments/Ed25519.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Experiments/Ed25519.v b/src/Experiments/Ed25519.v
index d58062107..3c89a7aec 100644
--- a/src/Experiments/Ed25519.v
+++ b/src/Experiments/Ed25519.v
@@ -52,7 +52,6 @@ Let Erep := (@ExtendedCoordinates.Extended.point
          d
       ).
 
-(* TODO : prove -- use Ed25519.curve25519_params_ok *)
 Local Existing Instance GF25519.homomorphism_F25519_encode.
 Local Existing Instance GF25519.homomorphism_F25519_decode.
 Lemma twedprm_ERep :
-- 
cgit v1.2.3