Update cargo-miri test

diff --git a/rust-version b/rust-version
index ebcec429d18e5cfa7f12a84999763620e6b0ebfc..c8725ea0225203d20b713a013c6083a258c4a41b 100644 (file)
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-3227e35765bab6d02c581928e26ad1d34bacf394
+71ff9b41e9ebd3e336019513917a7a8868d1cc66

diff --git a/test-cargo-miri/test.default.stdout.ref b/test-cargo-miri/test.default.stdout.ref
index 4edcb7ba7d912046ec2e886bfc932c951e9bc3e1..d2f94bb5950d833dce1cb55200da5ae2078999aa 100644 (file)
--- a/test-cargo-miri/test.default.stdout.ref
+++ b/test-cargo-miri/test.default.stdout.ref
@@ -11,9 +11,6 @@ test result: ok. 6 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
 
 
 running 3 tests
-test src/lib.rs - make_true (line 2) ... ok
-test src/lib.rs - make_true (line 5) - compile ... ok
-test src/lib.rs - make_true (line 8) - compile fail ... ok
-
+...
 test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME