File tree Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -140,6 +140,10 @@ INDEX_FILE_PATH=dafny/DDBEncryption/src/LibraryIndex.dfy
140140INDEX_FILE_WITH_EXTERN_STRING ="module {:extern \"software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.wrapped\"} WrappedDynamoDbEncryption refines WrappedAbstractAwsCryptographyDynamoDbEncryptionService"
141141INDEX_FILE_WITHOUT_EXTERN_STRING ="module WrappedDynamoDbEncryption refines WrappedAbstractAwsCryptographyDynamoDbEncryptionService"
142142
143+ ITEMENCRYPTOR_INDEX_FILE_PATH =dafny/WrappedDynamoDbItemEncryptor/src/Index.dfy
144+ ITEMENCRYPTOR_INDEX_FILE_WITH_EXTERN_STRING ="module {:extern \"software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.wrapped\" } WrappedItemEncryptor refines WrappedAbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService {"
145+ ITEMENCRYPTOR_INDEX_FILE_WITHOUT_EXTERN_STRING ="module WrappedItemEncryptor refines WrappedAbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService {"
146+
143147_sed_types_file_remove_extern :
144148 echo " no types file"
145149
You can’t perform that action at this time.
0 commit comments