Add something on extern

rishav-karanjit · rishav-karanjit · commit 06bdd0ed7b4b · 2025-01-17T22:43:35.000-08:00
diff --git a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/InternalLegacyOverride/extern.go b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/InternalLegacyOverride/extern.go
@@ -5,8 +5,6 @@ import (
 	"github.com/aws/aws-database-encryption-sdk-dynamodb/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes"
 )
 
-// var Companion_InternalLegacyOverride_ = CompanionStruct_Default___{}
-
 func (CompanionStruct_InternalLegacyOverride_) Build(config interface{}) Wrappers.Result {
 	// Create error for unsupported legacy configuration
 	err := &awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes.DynamoDbItemEncryptorException{

Original file line number	Diff line number	Diff line change
`@@ -5,8 +5,6 @@ import (`
`5`	`5`	`"github.com/aws/aws-database-encryption-sdk-dynamodb/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes"`
`6`	`6`	`)`
`7`	`7`
`8`		`-// var Companion_InternalLegacyOverride_ = CompanionStruct_Default___{}`
`9`		`-`
`10`	`8`	`func (CompanionStruct_InternalLegacyOverride_) Build(config interface{}) Wrappers.Result {`
`11`	`9`	`// Create error for unsupported legacy configuration`
`12`	`10`	`err := &awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes.DynamoDbItemEncryptorException{`