diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go
index 25535e951..23aa41217 100644
--- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go
+++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go
@@ -86,32 +86,32 @@ func (e InvalidEncryptionMaterialsTransition) Error() string {
 	return fmt.Sprintf("%s: %s", e.ErrorCodeOverride, e.Message)
 }
 
-type EntryAlreadyExists struct {
+type EntryDoesNotExist struct {
 	AwsCryptographicMaterialProvidersBaseException
 	Message           string
 	ErrorCodeOverride *string
 }
 
-func (e EntryAlreadyExists) Error() string {
+func (e EntryDoesNotExist) Error() string {
 	return fmt.Sprintf("%s: %s", e.ErrorCodeOverride, e.Message)
 }
 
-type EntryDoesNotExist struct {
+type InFlightTTLExceeded struct {
 	AwsCryptographicMaterialProvidersBaseException
 	Message           string
 	ErrorCodeOverride *string
 }
 
-func (e EntryDoesNotExist) Error() string {
+func (e InFlightTTLExceeded) Error() string {
 	return fmt.Sprintf("%s: %s", e.ErrorCodeOverride, e.Message)
 }
 
-type InFlightTTLExceeded struct {
+type EntryAlreadyExists struct {
 	AwsCryptographicMaterialProvidersBaseException
 	Message           string
 	ErrorCodeOverride *string
 }
 
-func (e InFlightTTLExceeded) Error() string {
+func (e EntryAlreadyExists) Error() string {
 	return fmt.Sprintf("%s: %s", e.ErrorCodeOverride, e.Message)
 }
diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go
index 25535e951..23aa41217 100644
--- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go
+++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go
@@ -86,32 +86,32 @@ func (e InvalidEncryptionMaterialsTransition) Error() string {
 	return fmt.Sprintf("%s: %s", e.ErrorCodeOverride, e.Message)
 }
 
-type EntryAlreadyExists struct {
+type EntryDoesNotExist struct {
 	AwsCryptographicMaterialProvidersBaseException
 	Message           string
 	ErrorCodeOverride *string
 }
 
-func (e EntryAlreadyExists) Error() string {
+func (e EntryDoesNotExist) Error() string {
 	return fmt.Sprintf("%s: %s", e.ErrorCodeOverride, e.Message)
 }
 
-type EntryDoesNotExist struct {
+type InFlightTTLExceeded struct {
 	AwsCryptographicMaterialProvidersBaseException
 	Message           string
 	ErrorCodeOverride *string
 }
 
-func (e EntryDoesNotExist) Error() string {
+func (e InFlightTTLExceeded) Error() string {
 	return fmt.Sprintf("%s: %s", e.ErrorCodeOverride, e.Message)
 }
 
-type InFlightTTLExceeded struct {
+type EntryAlreadyExists struct {
 	AwsCryptographicMaterialProvidersBaseException
 	Message           string
 	ErrorCodeOverride *string
 }
 
-func (e InFlightTTLExceeded) Error() string {
+func (e EntryAlreadyExists) Error() string {
 	return fmt.Sprintf("%s: %s", e.ErrorCodeOverride, e.Message)
 }