diff options
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. |