diff --git a/AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/go/dafny-4.8.0.patch b/AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/go/dafny-4.8.0.patch
deleted file mode 100644
index 2a0fb3a62..000000000
--- a/AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/go/dafny-4.8.0.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-diff --git a/AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go b/AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go
-index 83ce94f..519bcf0 100644
---- a/AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go
-+++ b/AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go
-@@ -6,7 +6,7 @@ import (
- 	"context"
- 
- 	"github.com/aws/aws-encryption-sdk/AwsCryptographyEncryptionSdkTypes"
--	"github.com/aws/aws-encryption-sdk/ESDK"
-+	ESDK "github.com/aws/aws-encryption-sdk/EncryptionSdk"
- 	"github.com/aws/aws-encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes"
- )
-