Skip to content

Commit 4507efd

Browse files
rishav-karanjitrishav-karanjit
committed
Index.dfy
1 parent 744e6ae commit 4507efd

File tree

1 file changed

+2
-3
lines changed
  • DynamoDbEncryption/dafny/DynamoDbEncryption/src

1 file changed

+2
-3
lines changed

‎DynamoDbEncryption/dafny/DynamoDbEncryption/src/Index.dfy

+2-3
Original file line numberDiff line numberDiff line change
@@ -16,9 +16,8 @@ include "UpdateExpr.dfy"
1616
include "Util.dfy"
1717
include "Virtual.dfy"
1818

19-
module
20-
{:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny" }
21-
DynamoDbEncryption refines AbstractAwsCryptographyDbEncryptionSdkDynamoDbService
19+
module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny" } DynamoDbEncryption
20+
refines AbstractAwsCryptographyDbEncryptionSdkDynamoDbService
2221
{
2322
import Operations = AwsCryptographyDbEncryptionSdkDynamoDbOperations
2423

0 commit comments

Comments
 (0)