diff options
| author |  varomodt <varomodt@localhost.localdomain> | 2016-01-09 13:43:53 -0500 |
|---|---|---|
| committer | varomodt <varomodt@localhost.localdomain> | 2016-01-09 13:43:53 -0500 |
| commit | f5127ba5bb5c1b932b51f9b3d43a18aa566a6d26 (patch) | |
| tree | 44938bc996c9604322a84391399743af9993a5c0 /src/Specific/GF25519.v | |
| parent | bb4c8e7d281279eb9aeb44c5d0de5be1d022028c (diff) | |
simple refactor of makefile; comments
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 51f1b14c8..4b06e5230 100644 --- a/src/Specific/GF25519.v +++ b/src/Specific/GF25519.v @@ -139,7 +139,7 @@ end. Section GF25519Base25Point5Formula. Import GF25519Base25Point5. - Import GF. + Import Field. Hint Rewrite Z.mul_0_l |