diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-25 23:10:06 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-25 23:10:06 -0400 |
| commit | 151df89143db440f11e99127a25b26b02d59f48b (patch) | |
| tree | dabed2bb3a45d8b68477f41616dd769c0c40ab5f /src | |
| parent | d977553f880575f00bf82bdf35a9f384e71a6d6a (diff) | |
indentation
Diffstat (limited to 'src')
| -rw-r--r-- | src/Arithmetic/MontgomeryReduction/WordByWord/Proofs.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Arithmetic/MontgomeryReduction/WordByWord/Proofs.v b/src/Arithmetic/MontgomeryReduction/WordByWord/Proofs.v index 7ffd41999..a053e8106 100644 --- a/src/Arithmetic/MontgomeryReduction/WordByWord/Proofs.v +++ b/src/Arithmetic/MontgomeryReduction/WordByWord/Proofs.v @@ -315,7 +315,7 @@ Section WordByWordMontgomery. Proof. t. Qed. Lemma eval_opp_mod_N : eval opp mod eval N = (-eval Av) mod eval N. Proof. t. Qed. -End add_sub. + End add_sub. End WordByWordMontgomery. Hint Rewrite redc_body_cps_id redc_loop_cps_id pre_redc_cps_id redc_cps_id add_cps_id sub_cps_id opp_cps_id : uncps. |