X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/35f31db1465e69b61738d0ec94fdeafb0cb3403f..8291131944c4edd6fa471b190955b07e47bcd1b3:/ralf/_posts/2019-11-18-stacked-borrows-paper.md?ds=inline

diff --git a/ralf/_posts/2019-11-18-stacked-borrows-paper.md b/ralf/_posts/2019-11-18-stacked-borrows-paper.md
index 39ce8ea..49d7dc7 100644
--- a/ralf/_posts/2019-11-18-stacked-borrows-paper.md
+++ b/ralf/_posts/2019-11-18-stacked-borrows-paper.md
@@ -1,6 +1,7 @@
 ---
 title: "Stacked Borrows: An Aliasing Model for Rust (the paper)"
 categories: research rust
+reddit: /rust/comments/dy8avz/stacked_borrows_an_aliasing_model_for_rust_the/
 ---
 
 I have [blogged]({% post_url 2019-05-21-stacked-borrows-2.1 %}) a [few]({% post_url 2019-04-30-stacked-borrows-2 %}) times before about [Stacked Borrows](https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md), my proposed aliasing model for Rust.