format

Author: RitvikKapila

DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy

@@ -212,11 +212,11 @@ module SearchConfigToInfo {
     var getKeyStoreInfoOutput :- getKeyStoreInfoOutput?.MapFailure(e => Error.AwsCryptographyKeyStore(e));
     var logicalKeyStoreName : string := getKeyStoreInfoOutput.logicalKeyStoreName;
     var logicalKeyStoreNameBytes : seq<uint8> :- UTF8.Encode(logicalKeyStoreName)
-      .MapFailure(
-        e => Error.DynamoDbEncryptionException(
-            message := "Could not UTF-8 Encode Logical Key Store Name: " + e
-          )
-      );
+    .MapFailure(
+      e => Error.DynamoDbEncryptionException(
+          message := "Could not UTF-8 Encode Logical Key Store Name: " + e
+        )
+    );
 
     if config.multi? {
       :- Need(0 < config.multi.cacheTTL, E("Beacon Cache TTL must be at least 1."));

DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/Index.dfy

@@ -156,7 +156,7 @@ module
       assert SearchConfigToInfo.ValidSearchConfig(inputConfig.search);
       SearchInModifies(config, tableName);
       reveal SearchConfigToInfo.ValidSharedCache();
-      // TODO: remove assume axiom; this should be generated by smithy-dafny
+             // TODO: remove assume axiom; this should be generated by smithy-dafny
       assume {:axiom} inputConfig.search.Some? ==> SearchConfigToInfo.ValidSharedCache(inputConfig.search.value.versions[0].keySource);
       var searchR := SearchConfigToInfo.Convert(inputConfig);
       var search :- searchR.MapFailure(e => AwsCryptographyDbEncryptionSdkDynamoDb(e));