auto commit

rishav-karanjit · rishav-karanjit · commit e810afe3d3e6 · 2025-01-29T12:47:41.000-08:00
diff --git a/TestVectors/dafny/DDBEncryption/src/LibraryIndex.dfy b/TestVectors/dafny/DDBEncryption/src/LibraryIndex.dfy
@@ -3,9 +3,7 @@
 
 include "../Model/AwsCryptographyDynamoDbEncryptionTypesWrapped.dfy"
 
-module
-  {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.wrapped"}
-  WrappedDynamoDbEncryption refines WrappedAbstractAwsCryptographyDynamoDbEncryptionService
+module WrappedDynamoDbEncryption refines WrappedAbstractAwsCryptographyDynamoDbEncryptionService
 {
 
   import WrappedService = DynamoDbEncryption

Original file line number	Diff line number	Diff line change
`@@ -3,9 +3,7 @@`
`3`	`3`
`4`	`4`	`include "../Model/AwsCryptographyDynamoDbEncryptionTypesWrapped.dfy"`
`5`	`5`
`6`		`-module`
`7`		`- {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.wrapped"}`
`8`		`- WrappedDynamoDbEncryption refines WrappedAbstractAwsCryptographyDynamoDbEncryptionService`
	`6`	`+module WrappedDynamoDbEncryption refines WrappedAbstractAwsCryptographyDynamoDbEncryptionService`
`9`	`7`	`{`
`10`	`8`
`11`	`9`	`import WrappedService = DynamoDbEncryption`