From 516227777307c260b13098e95f949b0f7958259f Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Fri, 27 May 2016 13:49:12 -0400 Subject: before changing SRep from N to F l --- src/Spec/EdDSA.v | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/Spec/EdDSA.v') 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. -- cgit v1.2.3