X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/052d90305ce74d36221d6c4525b450b4d0a3adbe..5b34e8c6a334fde552c27073c9151ecf64f796b6:/ralf/_posts/2018-12-26-stacked-borrows-barriers.md?ds=sidebyside 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).