diff --git a/miri b/miri index 2debf70c166..f0d92b6a2b5 100755 --- a/miri +++ b/miri @@ -30,7 +30,7 @@ times and slower execution times. Format all sources and tests. are passed to `rustfmt`. ./miri clippy : -Format all sources and tests. are passed to `cargo clippy`. +Runs clippy on all sources. are passed to `cargo clippy`. ./miri many-seeds : Runs over and over again with different seeds for Miri. The MIRIFLAGS