From 682c9db578a396cfbfa78731d504aded0c4e04c0 Mon Sep 17 00:00:00 2001 From: Shubham Chaturvedi Date: Mon, 13 Jan 2025 10:20:25 -0800 Subject: [PATCH] Update releases/go/smithy-dafny-standard-library/go.mod Co-authored-by: Rishav karanjit --- releases/go/smithy-dafny-standard-library/go.mod | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/releases/go/smithy-dafny-standard-library/go.mod b/releases/go/smithy-dafny-standard-library/go.mod index 5c3cabb8b..7a151ff5d 100644 --- a/releases/go/smithy-dafny-standard-library/go.mod +++ b/releases/go/smithy-dafny-standard-library/go.mod @@ -2,6 +2,6 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/s go 1.23.0 -require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 +require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 require github.com/google/uuid v1.6.0