diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-14 15:54:54 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-14 15:54:54 -0500 |
| commit | 5fa16e16437812c31acbf816b09fe5dc711653f5 (patch) | |
| tree | df77acec660d2ce67927bc8f5a4de38a5f36f026 /src | |
| parent | ac116a5b734aba589b923ba00bae56d244360af8 (diff) | |
Fix a missing unfold
Diffstat (limited to 'src')
| -rw-r--r-- | src/Specific/GF25519Bounded.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/GF25519Bounded.v b/src/Specific/GF25519Bounded.v index 2b9c824ed..055c5fa72 100644 --- a/src/Specific/GF25519Bounded.v +++ b/src/Specific/GF25519Bounded.v @@ -142,7 +142,7 @@ Proof. cbv [modulusW Tuple.map]. cbv [on_tuple List.map to_list to_list' from_list from_list' - Tuple.map2 on_tuple2 ListUtil.map2 fe25519WToZ]. + Tuple.map2 on_tuple2 ListUtil.map2 fe25519WToZ length_fe25519]. cbv [postfreeze GF25519.postfreeze]. cbv [Let_In]. |