Go re-polymorph

aws · Jan 21, 2025 · 4f27986 · 4f27986
1 parent 20e860a
commit 4f27986
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/...ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go b/...ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go
diff --git a/...times/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go b/...times/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go