From b1a6c9329f65a19cb1666943966e4718d534993d Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Mon, 14 Apr 2025 16:15:39 -0400 Subject: [PATCH] chore(rust): update smithy-dafny and use small-int feature --- AwsEncryptionSDK/runtimes/rust/Cargo.toml | 2 +- TestVectors/runtimes/rust/Cargo.toml | 2 +- mpl | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/AwsEncryptionSDK/runtimes/rust/Cargo.toml b/AwsEncryptionSDK/runtimes/rust/Cargo.toml index 7ffa9dac3..30db58977 100644 --- a/AwsEncryptionSDK/runtimes/rust/Cargo.toml +++ b/AwsEncryptionSDK/runtimes/rust/Cargo.toml @@ -25,7 +25,7 @@ aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] } aws-smithy-types = "1.2.12" chrono = "0.4.39" cpu-time = "1.0.0" -dafny_runtime = { path = "../../../mpl/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust", features = ["sync"]} +dafny_runtime = { path = "../../../mpl/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust", features = ["sync","small-int"]} dashmap = "6.1.0" pem = "3.0.4" rand = "0.9.0" diff --git a/TestVectors/runtimes/rust/Cargo.toml b/TestVectors/runtimes/rust/Cargo.toml index f3fbab8ac..3477170c5 100644 --- a/TestVectors/runtimes/rust/Cargo.toml +++ b/TestVectors/runtimes/rust/Cargo.toml @@ -23,7 +23,7 @@ aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] } aws-smithy-types = "1.2.12" chrono = "0.4.39" cpu-time = "1.0.0" -dafny_runtime = { path = "../../../mpl/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust", features = ["sync"]} +dafny_runtime = { path = "../../../mpl/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust", features = ["sync","small-int"]} dashmap = "6.1.0" pem = "3.0.4" rand = "0.9.0" diff --git a/mpl b/mpl index d808fd88d..515995e68 160000 --- a/mpl +++ b/mpl @@ -1 +1 @@ -Subproject commit d808fd88df92acf64fb9ca0e7c652d72e05fa50a +Subproject commit 515995e68400e56fc720412fe355e6965715136e