diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-17 09:44:28 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-17 09:47:16 +0200 |
| commit | 9f156d38a554eae9a07d8bd436243f005597b1c7 (patch) | |
| tree | ca84b2e40226fa8088d743b7acd0b189d8bd00b1 /src/tools | |
| parent | d7f79cc2b2c12e77aa05e027d270fe7f5648eed3 (diff) | |
| download | rust-9f156d38a554eae9a07d8bd436243f005597b1c7.tar.gz rust-9f156d38a554eae9a07d8bd436243f005597b1c7.zip | |
no need to use miri's native stderr here
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/tests/pass/tree_borrows/reserved.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/tools/miri/tests/pass/tree_borrows/reserved.rs b/src/tools/miri/tests/pass/tree_borrows/reserved.rs index 87ce91a809f..f93cac8361e 100644 --- a/src/tools/miri/tests/pass/tree_borrows/reserved.rs +++ b/src/tools/miri/tests/pass/tree_borrows/reserved.rs @@ -27,9 +27,8 @@ fn main() { } } -unsafe fn print(msg: &str) { - utils::miri_write_to_stderr(msg.as_bytes()); - utils::miri_write_to_stderr("\n".as_bytes()); +fn print(msg: &str) { + eprintln!("{msg}"); } unsafe fn read_second<T>(x: &mut T, y: *mut u8) { |