From f091075909f94d894c1c8185c14334bc9d684e75 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 23 Oct 2024 20:10:26 -0700 Subject: [PATCH] Update go mod --- .../runtimes/go/ImplementationFromDafny-go/go.mod | 4 ++-- .../runtimes/go/TestsFromDafny-go/go.mod | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod index d04ec8bd8..aa8227911 100644 --- a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod @@ -31,6 +31,6 @@ require ( replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ -replace github.com/smithy-lang/smithy-dafny/kmsv2 => /Users/rishavkj/Documents/Storage/Team-Repos/smithy-dafny/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/ +replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/ -replace github.com/smithy-lang/smithy-dafny/ddbv2 => /Users/rishavkj/Documents/Storage/Team-Repos/smithy-dafny/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/ +replace github.com/smithy-lang/smithy-dafny/ddbv2 => ../../../../aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod index 02f65012d..74d49887e 100644 --- a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod @@ -35,6 +35,6 @@ replace github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalSer replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ -replace github.com/smithy-lang/smithy-dafny/kmsv2 => /Users/rishavkj/Documents/Storage/Team-Repos/smithy-dafny/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/ +replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/ -replace github.com/smithy-lang/smithy-dafny/ddbv2 => /Users/rishavkj/Documents/Storage/Team-Repos/smithy-dafny/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/ +replace github.com/smithy-lang/smithy-dafny/ddbv2 => ../../../../aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/