From 2cb694b68c8d28b2049936f1c20349200eb121c2 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Mon, 26 Oct 2015 00:54:22 -0400
Subject: remove resolved todo

---
 src/Curves/PointFormats.v | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Curves/PointFormats.v b/src/Curves/PointFormats.v
index baa6bd2a7..8ab81e0a8 100644
--- a/src/Curves/PointFormats.v
+++ b/src/Curves/PointFormats.v
@@ -66,8 +66,6 @@ Module PointFormats.
     Parameter projY : point -> GF.
     Parameter unifiedAdd : point -> point -> point.
 
-    (* TODO: split module here? *)
-
     Parameter rep : point -> Spec.point -> Prop.
     Local Notation "P '~=' rP" := (rep P rP) (at level 70).
     Axiom mkPoint_rep: forall x y, mkPoint x y ~= Spec.mkPoint x y.
-- 
cgit v1.2.3