fix: CI

aws · Dec 31, 2024 · c56dd69 · c56dd69
1 parent f7374f7
commit c56dd69
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/AwsEncryptionSDK/Makefile b/AwsEncryptionSDK/Makefile
@@ -90,5 +90,5 @@ TYPES_FILE_WITH_EXTERN_STRING="module {:extern \"software.amazon.cryptography.en
 TYPES_FILE_WITHOUT_EXTERN_STRING="module AwsCryptographyEncryptionSdkTypes"
 
 INDEX_FILE_PATH=dafny/AwsEncryptionSdk/src/Index.dfy
-INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"software.amazon.cryptography.encryptionsdk.internaldafny\" } EncryptionSdk refines AbstractAwsCryptographyEncryptionSdkService {"
+INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"software.amazon.cryptography.encryptionsdk.internaldafny\" } ESDK refines AbstractAwsCryptographyEncryptionSdkService {"
 INDEX_FILE_WITHOUT_EXTERN_STRING="module EncryptionSdk refines AbstractAwsCryptographyEncryptionSdkService {"
diff --git a/AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Index.dfy b/AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Index.dfy
@@ -4,8 +4,7 @@
 include "AwsEncryptionSdkOperations.dfy"
 
 module 
-  {:extern "software.amazon.cryptography.encryptionsdk.internaldafny" }
-  ESDK refines AbstractAwsCryptographyEncryptionSdkService {
+  {:extern "software.amazon.cryptography.encryptionsdk.internaldafny" } ESDK refines AbstractAwsCryptographyEncryptionSdkService {
   import Operations = AwsEncryptionSdkOperations
   import Primitives = AtomicPrimitives
   import MaterialProviders