Merge pull request #549 from RalfJung/readme

fix README install instructions
This commit is contained in:
Ralf Jung 2018-11-27 16:05:05 +01:00 committed by GitHub
commit fb2d0ff943
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -56,7 +56,7 @@ compiled the right way.
Install Miri as a cargo subcommand:
```sh
cargo +nightly install --git https://github.com/solson/miri/
cargo +nightly install --git https://github.com/solson/miri/ miri
```
Be aware that if you used `rustup override set` to fix a particular Rust version