diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-17 10:46:06 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-17 10:46:06 -0400 |
| commit | 910c11bd3b95a5cf4b0e3d83946f8225d352f1a2 (patch) | |
| tree | aaf30289b2e23034c96711a08e464f03ed4a5fcc /src | |
| parent | c7652b65a5dfedf8be77e40b78b7546907656703 (diff) | |
Fix a typo
Diffstat (limited to 'src')
| -rw-r--r-- | src/Specific/MontgomeryP256.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/MontgomeryP256.v b/src/Specific/MontgomeryP256.v index 8e5a8b0b6..6a2f6fa29 100644 --- a/src/Specific/MontgomeryP256.v +++ b/src/Specific/MontgomeryP256.v @@ -11,7 +11,7 @@ Definition sz := 4%nat. Definition m : positive := 2^256-2^224+2^192+2^96-1. Definition p256 := Eval vm_compute in - ((Positional.encode (modulo:=modulo) (div:=div) (n:=sz) wt m)). + ((Positional.encode (modulo:=modulo) (div:=div) (n:=sz) wt (Z.pos m))). Definition mulmod_256 : { f:Tuple.tuple Z 4 -> Tuple.tuple Z 4 -> Tuple.tuple Z 5 | forall (A B : Tuple.tuple Z 4), |