rustup

diff --git a/rust-version b/rust-version
index 6e980a4e228ebd8154690f34a6ac63b9e3b7b496..b1fd330a9d66553e26f0a8702f0faf3159c862d7 100644 (file)
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-e6cef0445779724b469ab7b9a8d3c05d9e848ca8
+42abbd8878d3b67238f3611b0587c704ba94f39c

diff --git a/tests/compile-fail/stack_free.rs b/tests/compile-fail/stack_free.rs
index ea09d3e2b44a6519c06dadfaec659a9c35ddfb7c..50a590e448a6ab61a8383fc4f72423f27bd31915 100644 (file)
--- a/tests/compile-fail/stack_free.rs
+++ b/tests/compile-fail/stack_free.rs
@@ -1,7 +1,7 @@
 // Validation/SB changes why we fail
 // compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
 
-// error-pattern: deallocating `Stack` memory using `Machine(Rust)` deallocation operation
+// error-pattern: deallocating stack variable memory using Rust heap deallocation operation
 
 fn main() {
     let x = 42;