fix 'cargo run' in README

diff --git a/README.md b/README.md
index 3822e9ac10cc4808b3f1d09405b0a24336224904..843535caf9defea95900a32b7085083743beb62f 100644 (file)
--- a/README.md
+++ b/README.md
@@ -37,7 +37,7 @@ how to fix it, you could send a PR. :smile:
 ## Running tests
 
 ```sh
-cargo run tests/run-pass/vecs.rs # Or whatever test you like.
+cargo run --bin miri tests/run-pass/vecs.rs # Or whatever test you like.
 ```
 
 ## Debugging