Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 87b103c

Browse files
committedFeb 10, 2025··
m
1 parent bbebafc commit 87b103c

File tree

1 file changed

+1
-0
lines changed
  • DynamoDbEncryption/dafny/StructuredEncryption/src

1 file changed

+1
-0
lines changed
 

‎DynamoDbEncryption/dafny/StructuredEncryption/src/Canonize.dfy

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -826,6 +826,7 @@ module {:options "/functionSyntax:4" } Canonize {
826826
else if xs[pos].key in [HeaderPath, FooterPath] then
827827
RemoveHeaderPaths(xs, pos+1, acc)
828828
else
829+
assert xs[pos] !in acc;
829830
RemoveHeaderPaths(xs, pos+1, acc + [xs[pos]])
830831
}
831832

0 commit comments

Comments
 (0)
Please sign in to comment.