diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-05-27 13:49:12 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-05-27 13:49:12 -0400 |
| commit | 516227777307c260b13098e95f949b0f7958259f (patch) | |
| tree | b13657c524b9c43d36fd5a7830b9c7dbd13e3dbf /src/Spec/EdDSA.v | |
| parent | 2e566c32baf2a140cd7820c4f06437ee5c43ac44 (diff) | |
before changing SRep from N to F l
Diffstat (limited to 'src/Spec/EdDSA.v')
| -rw-r--r-- | src/Spec/EdDSA.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Spec/EdDSA.v b/src/Spec/EdDSA.v index 99f0766e0..a0e5e9da7 100644 --- a/src/Spec/EdDSA.v +++ b/src/Spec/EdDSA.v @@ -46,9 +46,9 @@ End EdDSAParams. Section EdDSA. Context {prm:EdDSAParams}. - Existing Instance E. - Existing Instance PointEncoding. - Existing Instance FlEncoding. + Global Existing Instance E. + Global Existing Instance PointEncoding. + Global Existing Instance FlEncoding. Existing Class le. Existing Instance n_le_b. |