From 50d521721412c0483e6833707af4c8dc7978aeff Mon Sep 17 00:00:00 2001
From: Jade Philipoom <jadep@mit.edu>
Date: Sun, 7 Feb 2016 13:18:51 -0500
Subject: removed lingering Check/SearchAbout statements

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

(limited to 'src/Curves')

diff --git a/src/Curves/PointFormats.v b/src/Curves/PointFormats.v
index 4e36cca11..8137abc4c 100644
--- a/src/Curves/PointFormats.v
+++ b/src/Curves/PointFormats.v
@@ -353,7 +353,6 @@ Module CompleteTwistedEdwardsCurve (M : Modulus) (Import P : TwistedEdwardsParam
     let 'exist P2' pf2 := P2 in
     mkPoint (unifiedAdd' P1' P2') (unifiedAdd'_onCurve' _ _ pf1 pf2).
   Local Infix "+" := unifiedAdd.
-  SearchAbout Pos.iter_op.
 
   Fixpoint scalarMult (n:nat) (P : point) : point :=
     match n with
-- 
cgit v1.2.3