fix: CI

Shubham Chaturvedi · Shubham Chaturvedi · commit 3533565a227c · 2024-12-30T16:44:48.000-08:00
diff --git a/AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Index.dfy b/AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Index.dfy
@@ -3,8 +3,7 @@
 
 include "AwsEncryptionSdkOperations.dfy"
 
-module 
-  {:extern "software.amazon.cryptography.encryptionsdk.internaldafny" } ESDK refines AbstractAwsCryptographyEncryptionSdkService {
+module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny" } ESDK refines AbstractAwsCryptographyEncryptionSdkService {
   import Operations = AwsEncryptionSdkOperations
   import Primitives = AtomicPrimitives
   import MaterialProviders
