Skip to content

Commit

Permalink
Auto merge of #1062 - RalfJung:readme, r=RalfJung
Browse files Browse the repository at this point in the history
generalize readme

We didn't mean any specific date, that was just an example.
  • Loading branch information
bors committed Nov 19, 2019
2 parents cf65c0c + a4eb34b commit 9e13cba
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:

Expand Down

0 comments on commit 9e13cba

Please sign in to comment.