From 6dc6256413a242a3917b01ac28059024dc6bef45 Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Tue, 10 May 2022 07:23:50 +0000 Subject: [PATCH] Wording nit --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 291c01dd4cfd..127206e11544 100644 --- a/README.md +++ b/README.md @@ -288,7 +288,7 @@ environment variable: using the tools in the repository https://github.com/rust-lang/measureme. * `-Zmiri-mute-stdout-stderr` silently ignores all writes to stdout and stderr, but reports to the program that it did actually write. This is useful when you - are not interested in the actual program's messages, but only want to see miri's + are not interested in the actual program's output, but only want to see miri's errors and warnings. * `-Zmiri-panic-on-unsupported` will makes some forms of unsupported functionality, such as FFI and unsupported syscalls, panic within the context of the emulated