RalfJung
diff --git a/‎src/tools/miri/tests/pass/track-alloc-1.rs
-6 b/‎src/tools/miri/tests/pass/track-alloc-1.rs
-6
diff --git a/‎src/tools/miri/tests/pass/track-alloc-1.stderr
-5 b/‎src/tools/miri/tests/pass/track-alloc-1.stderr
-5