Remove extra line

rishav-karanjit · web-flow · commit 295e8fd2aa21 · 2025-06-10T21:07:08.000-07:00
diff --git a/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy b/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy
@@ -1002,7 +1002,6 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
       expect hasDynamoDbEncryptionTransformsExceptionForMixedBatch?.Some?;
     }
 
-
     method FindMatchingRecord(expected : DDB.AttributeMap, actual : DDB.ItemList) returns (output : bool)
     {
       var exp := NormalizeItem(expected);

Original file line number	Diff line number	Diff line change
`@@ -1002,7 +1002,6 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {`
`1002`	`1002`	`expect hasDynamoDbEncryptionTransformsExceptionForMixedBatch?.Some?;`
`1003`	`1003`	`}`
`1004`	`1004`
`1005`		`-`
`1006`	`1005`	`method FindMatchingRecord(expected : DDB.AttributeMap, actual : DDB.ItemList) returns (output : bool)`
`1007`	`1006`	`{`
`1008`	`1007`	`var exp := NormalizeItem(expected);`