chore: Remove Dafny warnings

aws / aws-database-encryption-sdk-dynamodb

AWS Database Encryption SDK for DynamoDB in Java

Apache License 2.0

20 stars 11 forks source link

Open rishav-karanjit opened 2 weeks ago

rishav-karanjit commented 2 weeks ago

Issue #, if available:

Description of changes:

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.