Merge pull request #592 from RalfJung/readme

README: fix install command

diff --git a/README.md b/README.md
index 879d27dc97e079c896ed0569cbf2fbd3d88c3eff..c6dd0d8b06c6034962bb168ad4e83b8640921939 100644 (file)
--- a/README.md
+++ b/README.md
@@ -26,7 +26,7 @@ for example:
 Install Miri as a cargo subcommand:
 
 ```sh
-cargo +nightly install --git https://github.com/solson/miri/ miri
+cargo +nightly install --force --git https://github.com/solson/miri miri
 ```
 
 If this does not work, try using the nightly version given in