m

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