m

aws · Dec 12, 2024 · 48be5cf · 48be5cf
1 parent 7ee36d2
commit 48be5cf
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/TestVectors/dafny/TestVectors/src/LibraryIndex.dfy b/TestVectors/dafny/TestVectors/src/LibraryIndex.dfy
@@ -3,9 +3,7 @@
 
 include "../Model/AwsCryptographyEncryptionSdkTypesWrapped.dfy"
 
-module WrappedESDK refines WrappedAbstractAwsCryptographyEncryptionSdkService
-{
-  import WrappedService = ESDK
+module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny.wrapped" } WrappedESDK refines WrappedAbstractAwsCryptographyEncryptionSdkService  import WrappedService = ESDK
 
   function method WrappedDefaultAwsEncryptionSdkConfig(): AwsEncryptionSdkConfig
   {