diff options
Diffstat (limited to 'src/Assembly/GF25519.v')
| -rw-r--r-- | src/Assembly/GF25519.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Assembly/GF25519.v b/src/Assembly/GF25519.v index 605bcfd2e..091aa8008 100644 --- a/src/Assembly/GF25519.v +++ b/src/Assembly/GF25519.v @@ -20,6 +20,7 @@ Module GF25519. Section DefaultBounds. Import ListNotations. + Local Notation rr exp := (2^exp + 2^exp/10)%Z. Definition feBound: list Z := |