diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-09 21:56:14 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-09 21:56:14 -0400 |
| commit | 79f5b2e1089c50a18b94da2b22fefdec90392abb (patch) | |
| tree | bc63a7d55d24ea0b9d6819262e4b026cd07bb3cc /src | |
| parent | de9bc65afe6b0cfc67672bf0691885f7d4437999 (diff) | |
Fix open sections error
Diffstat (limited to 'src')
| -rw-r--r-- | src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v b/src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v index 8b1e50cb5..3d54294f7 100644 --- a/src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v +++ b/src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v @@ -236,4 +236,5 @@ Section WordByWordMontgomery. autorewrite with zsimplify. reflexivity. Qed. -End Iteration. + End Iteration. +End WordByWordMontgomery. |