From a4eb34b3e1e93df4a5ab7645a480bbcffd8b71ef Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 19 Nov 2019 20:40:06 +0100 Subject: [PATCH] generalize readme --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 6d0173aaf0..5a85b6d478 100644 --- a/README.md +++ b/README.md @@ -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: