diff options
Diffstat (limited to 'src/Specific')
| -rw-r--r-- | src/Specific/Framework/CurveParameters.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/Framework/CurveParameters.v b/src/Specific/Framework/CurveParameters.v index f8d245a67..c77b159e4 100644 --- a/src/Specific/Framework/CurveParameters.v +++ b/src/Specific/Framework/CurveParameters.v @@ -138,7 +138,7 @@ Module Export CurveParameters. (RawCurveParameters.freeze_extra_allowable_bit_widths CP) (list_8_if_not_exists allowable_bit_widths) ++ allowable_bit_widths; - modinv_fuel := defaulted (RawCurveParameters.modinv_fuel CP) 10%nat + modinv_fuel := defaulted (RawCurveParameters.modinv_fuel CP) (Z.to_nat (Z.log2_up s)) |}. Ltac get_fill_CurveParameters CP := |