From ec7791b50c7ccb877093f02650c3774e893f194a Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 23 Oct 2024 19:59:37 -0700 Subject: [PATCH] Update go mod --- .../ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod | 1 + .../kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod index b1b04cfa3..6bccc7e7b 100644 --- a/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod @@ -8,6 +8,7 @@ require ( github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0 github.com/dafny-lang/DafnyStandardLibGo v0.0.0-00010101000000-000000000000 + github.com/aws/smithy-go v1.22.0 ) require ( diff --git a/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod index bf977a0c1..f20dd6149 100644 --- a/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod @@ -9,6 +9,7 @@ require ( github.com/aws/aws-sdk-go-v2/service/kms v1.35.5 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0 github.com/dafny-lang/DafnyStandardLibGo v0.0.0-00010101000000-000000000000 + github.com/aws/smithy-go v1.22.0 ) require ( @@ -23,5 +24,4 @@ require ( github.com/aws/aws-sdk-go-v2/service/sso v1.24.2 // indirect github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.2 // indirect github.com/aws/aws-sdk-go-v2/service/sts v1.32.2 // indirect - github.com/aws/smithy-go v1.22.0 // indirect )