From 5accdf45eae803c02dddd1491251cd8a51a1ba72 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 23 May 2017 10:50:07 -0700
Subject: [PATCH] use `cargo +nightly` rather than `rustup run nightly cargo`

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 843535caf9de..aa8e0315b768 100644
--- a/README.md
+++ b/README.md
@@ -16,7 +16,7 @@ rustup update nightly
 
 You should also make `nightly` the default version for your Miri directory by
 running the following command while you're in it. If you don't do this, you can
-run the later `cargo` commands by prefixing them with `rustup run nightly`.
+run the later `cargo` commands by using `cargo +nightly` instead.
 
 ```sh
 rustup override add nightly