From b9c8f539cf3e9f9fdcd6861ef9691fe079bcd321 Mon Sep 17 00:00:00 2001
From: jadep <jadep@mit.edu>
Date: Fri, 22 Apr 2016 15:33:34 -0400
Subject: Update to_gallina.md

---
 to_gallina.md | 1 -
 1 file changed, 1 deletion(-)

(limited to 'to_gallina.md')

diff --git a/to_gallina.md b/to_gallina.md
index 812d9fd88..541bc646d 100644
--- a/to_gallina.md
+++ b/to_gallina.md
@@ -5,6 +5,5 @@ Remaining work needed for Gallina verification code
 + efficient GF inverse
 + make EdDSA point addition use ModularBaseSystem
 + represent scalars (Fl) in ModularBaseSystem (large c)
-+ elliptic curve decidable equality
 + negation of elliptic curve points
 + canonical representations of field elements
-- 
cgit v1.2.3