From 73ce6e41a38edce2c0591fd37bdbf4a3a77cd85b Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Thu, 12 Dec 2024 15:50:36 -0800 Subject: [PATCH] m --- TestVectors/dafny/TestVectors/src/LibraryIndex.dfy | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/TestVectors/dafny/TestVectors/src/LibraryIndex.dfy b/TestVectors/dafny/TestVectors/src/LibraryIndex.dfy index 143462852..6c205bef4 100644 --- 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 {