diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-08-16 19:11:45 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-08-16 19:11:45 -0400 |
| commit | 63044b843880c94995ff6508be0801c1c9173e26 (patch) | |
| tree | 889b079aee06c50b077eec05ee82db3b7780fd4b /src/Specific/GF25519.v | |
| parent | 4c5f4422900ff819a719afa9f95560ba91742c73 (diff) | |
Updated GF files to reflect change in [repeat]
Diffstat (limited to 'src/Specific/GF25519.v')
| -rw-r--r-- | src/Specific/GF25519.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/GF25519.v b/src/Specific/GF25519.v index 6a3f115d6..9e5cf1f67 100644 --- a/src/Specific/GF25519.v +++ b/src/Specific/GF25519.v @@ -50,7 +50,7 @@ Proof. Defined. (* Wire format for [pack] and [unpack] *) -Definition wire_widths := Eval compute in (repeat Z 32 7 ++ 31 :: nil). +Definition wire_widths := Eval compute in (repeat 32 7 ++ 31 :: nil). Definition wire_digits := Eval compute in (tuple Z (length wire_widths)). |