m

lucasmcdonald3 · josecorella · commit bceac3ba5fe4 · 2025-02-13T19:49:43.000-08:00
diff --git a/TestVectors/dafny/TestVectors/src/LibraryIndex.dfy b/TestVectors/dafny/TestVectors/src/LibraryIndex.dfy
@@ -3,7 +3,7 @@
 
 include "../Model/AwsCryptographyEncryptionSdkTypesWrapped.dfy"
 
-module WrappedESDK refines WrappedAbstractAwsCryptographyEncryptionSdkService
+module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny.wrapped" } WrappedESDK refines WrappedAbstractAwsCryptographyEncryptionSdkService
 {
   import WrappedService = ESDK
 

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`
`4`	`4`	`include "../Model/AwsCryptographyEncryptionSdkTypesWrapped.dfy"`
`5`	`5`
`6`		`-module WrappedESDK refines WrappedAbstractAwsCryptographyEncryptionSdkService`
	`6`	`+module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny.wrapped" } WrappedESDK refines WrappedAbstractAwsCryptographyEncryptionSdkService`
`7`	`7`	`{`
`8`	`8`	`import WrappedService = ESDK`
`9`	`9`