format

seebees · seebees · commit 15563071f958 · 2025-03-20T13:50:14.000-07:00
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/DdbMiddlewareConfig.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/DdbMiddlewareConfig.dfy
@@ -51,7 +51,7 @@ module DdbMiddlewareConfig {
       versions <- (set configValue <- config.tableEncryptionConfigs.Values | configValue.search.Some? :: configValue.search.value.versions),
       keyStore <- (set version <- versions :: version.keySource.store),
       obj <- keyStore.Modifies
-      {:nowarn} :: obj
+             {:nowarn} :: obj
 
   }
 

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ module DdbMiddlewareConfig {`
`51`	`51`	`versions <- (set configValue <- config.tableEncryptionConfigs.Values \| configValue.search.Some? :: configValue.search.value.versions),`
`52`	`52`	`keyStore <- (set version <- versions :: version.keySource.store),`
`53`	`53`	`obj <- keyStore.Modifies`
`54`		`- {:nowarn} :: obj`
	`54`	`+ {:nowarn} :: obj`
`55`	`55`
`56`	`56`	`}`
`57`	`57`