extern

aws · Aug 2, 2024 · 0dc26ae · 0dc26ae
1 parent e3b3b05
commit 0dc26ae
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...mitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/Signature.py b/...mitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/Signature.py
@@ -179,6 +179,7 @@ def signatureAlgorithm(self, sig_alg):
 
 # Export extern class
 aws_cryptography_primitives.internaldafny.generated.Signature.ECDSA = default__.ECDSA
+aws_cryptography_primitives.internaldafny.generated.Signature.Signature.ECDSA = default__.ECDSA
 # Remove after https://github.com/dafny-lang/dafny/issues/4853
 aws_cryptography_primitives.internaldafny.generated.Signature.ECDSA_Verify = default__.ECDSA.Verify
 ECDSA_Verify = default__.ECDSA.Verify