user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Auto merge of #1062 - RalfJung:readme, r=RalfJung

Browse source 
generalize readme

We didn't mean any specific date, that was just an example.
This commit is contained in:
bors 2019-11-19 19:40:55 +00:00
commit 9e13cba07b
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -61,8 +61,8 @@ rustup component add miri
If `rustup` says the `miri` component is unavailable, that's because not all
nightly releases come with all tools. Check out
[this website](https://rust-lang.github.io/rustup-components-history) to
determine a nightly version that comes with Miri and install that, e.g. using
`rustup install nightly-2019-03-28`.
determine a nightly version that comes with Miri and install that using
`rustup install nightly-YYYY-MM-DD`.
Now you can run your project in Miri: