diff options
| -rw-r--r-- | src/Curves/PointFormats.v | 2 |
1 files changed, 0 insertions, 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. |