From 383f3e1de0f4fe14c4b282651cf4123a72893e37 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 7 Nov 2017 22:19:10 -0500
Subject: Add a dummy karatsuba parameter

Currently unused, but adding it here in preparation for removing
reification (which will allow easy support of karatsuba separate from
goldilocks).
---
 src/Specific/solinas64_2e243m9/CurveParameters.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Specific/solinas64_2e243m9/CurveParameters.v')

diff --git a/src/Specific/solinas64_2e243m9/CurveParameters.v b/src/Specific/solinas64_2e243m9/CurveParameters.v
index f82527cda..60427d462 100644
--- a/src/Specific/solinas64_2e243m9/CurveParameters.v
+++ b/src/Specific/solinas64_2e243m9/CurveParameters.v
@@ -19,6 +19,7 @@ Definition curve : CurveParameters :=
     coef_div_modulus := Some 2%nat;
 
     goldilocks := None;
+    karatsuba := None;
     montgomery := false;
     freeze := Some true;
     ladderstep := false;
-- 
cgit v1.2.3