From 53f2e9e7c8011a210ca1291cd1fdc57cfc5c919b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 28 Dec 2018 18:15:43 +0100 Subject: [PATCH 1/1] fix installation command --- personal/_posts/2018-12-26-stacked-borrows-barriers.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/personal/_posts/2018-12-26-stacked-borrows-barriers.md b/personal/_posts/2018-12-26-stacked-borrows-barriers.md index a598903..d384a02 100644 --- a/personal/_posts/2018-12-26-stacked-borrows-barriers.md +++ b/personal/_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). -- 2.30.2