From: Ralf Jung <post@ralfj.de>
Date: Fri, 28 Dec 2018 17:15:43 +0000 (+0100)
Subject: fix installation command
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/6861e5db447f262f0d4f5813a776177f4a3a77e5?ds=inline;hp=052d90305ce74d36221d6c4525b450b4d0a3adbe

fix installation command
---

diff --git a/ralf/_posts/2018-12-26-stacked-borrows-barriers.md b/ralf/_posts/2018-12-26-stacked-borrows-barriers.md
index a598903..d384a02 100644
--- a/ralf/_posts/2018-12-26-stacked-borrows-barriers.md
+++ b/ralf/_posts/2018-12-26-stacked-borrows-barriers.md
@@ -152,7 +152,7 @@ Finally, I decided to spend some time making Miri easier to install and use and
 Now all you have to do is run
 
 ```
-cargo +nightly install --git https://github.com/solson/miri/ miri
+cargo +nightly install --force --git https://github.com/solson/miri miri
 ```
 
 and then go to your project directory and run `cargo +nightly miri test` (you may have to `cargo clean` first to make sure all your dependencies are built the right way for Miri).