remove a stray stderr file

diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 13492d183c99996c2a0c100fa8a45d270130c327..dc7fe501fa72890c4642a718d7e66ac7e1663f48 100644 (file)
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-b03502b35d111bef0399a66ab3cc765f0802e8ba
+452cf4f7109f58433ac38be7d3da527408571054

diff --git a/src/tools/miri/tests/fail/memleak_rc.stderr b/src/tools/miri/tests/fail/memleak_rc.stderr
deleted file mode 100644 (file)
index 290de49..0000000
--- a/src/tools/miri/tests/fail/memleak_rc.stderr
+++ /dev/null
@@ -1,11 +0,0 @@
-The following memory was leaked: ALLOC (Rust heap, size: 32, align: 8) {
-    0x00 │ 01 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 │ ................
-    0x10 │ 00 00 00 00 00 00 00 00 ╾$HEX[a1765]<TAG>─╼ │ ........╾──────╼
-}
-
-error: the evaluated program leaked memory
-
-note: pass `-Zmiri-ignore-leaks` to disable this check
-
-error: aborting due to previous error
-