X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/96c6b19f3f178e6cd80ce03e9d7c997afa2ad9de..18d7c7eac5cac394dcb628ccddf4dbdfdb51660a:/personal/_posts/2018-12-26-stacked-borrows-barriers.md?ds=inline

diff --git a/personal/_posts/2018-12-26-stacked-borrows-barriers.md b/personal/_posts/2018-12-26-stacked-borrows-barriers.md
index e68663d..d384a02 100644
--- a/personal/_posts/2018-12-26-stacked-borrows-barriers.md
+++ b/personal/_posts/2018-12-26-stacked-borrows-barriers.md
@@ -1,6 +1,7 @@
 ---
 title: "Barriers and Two-phase Borrows in Stacked Borrows"
 categories: internship rust
+forum: https://internals.rust-lang.org/t/barriers-and-two-phase-borrows-in-stacked-borrows/9100
 ---
 
 My internship ("research assistantship") with Mozilla has ended several weeks ago, and this post is a report of the most recent tweaks I made to Miri and Stacked Borrows.
@@ -151,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).