1 files changed, 1 insertions, 0 deletions
diff --git a/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/CurveParameters.v b/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/CurveParameters.v
index af15a9e48..406a8de00 100644
--- a/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/CurveParameters.v
+++ b/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/CurveParameters.v
@@ -19,6 +19,7 @@ Definition curve : CurveParameters :=
     coef_div_modulus := None;
 
     goldilocks := None;
+    karatsuba := None;
     montgomery := true;
     freeze := Some false;
     ladderstep := false;