diff options
author | 2017-07-06 02:51:33 -0400 | |
---|---|---|
committer | 2017-07-06 02:51:40 -0400 | |
commit | 6888031eaffb0d654a72e86329190c07dd44de0e (patch) | |
tree | 9e91856cc8bb5539bb6fda445ca596823e5748b5 /src/Arithmetic/MontgomeryReduction/Definition.v | |
parent | e014b3acd1c78070f3ffe697c00988e78828726f (diff) |
Fix a typo that ends up not mattering
Diffstat (limited to 'src/Arithmetic/MontgomeryReduction/Definition.v')
-rw-r--r-- | src/Arithmetic/MontgomeryReduction/Definition.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Arithmetic/MontgomeryReduction/Definition.v b/src/Arithmetic/MontgomeryReduction/Definition.v index 78d3c037f..04c097460 100644 --- a/src/Arithmetic/MontgomeryReduction/Definition.v +++ b/src/Arithmetic/MontgomeryReduction/Definition.v @@ -134,10 +134,10 @@ end function partial_reduce. Definition reduce_via_partial_alt : montgomeryZ - := if N <=? partial_reduce then - partial_reduce - N + := if N <=? partial_reduce_alt then + partial_reduce_alt - N else - partial_reduce. + partial_reduce_alt. End redc. (** * Arithmetic in Montgomery form *) |