add link to reddit

[web.git] / ralf / _posts / 2017-06-06-MIR-semantics.md

diff --git a/ralf/_posts/2017-06-06-MIR-semantics.md b/ralf/_posts/2017-06-06-MIR-semantics.md
index e09212038250c44a29f7f8e3f7b014b4b0d2868e..13f51dbf52059be34db8b51eadecd09dde9d3cec 100644 (file)
--- a/ralf/_posts/2017-06-06-MIR-semantics.md
+++ b/ralf/_posts/2017-06-06-MIR-semantics.md
@@ -1,6 +1,7 @@
 ---
 title: Exploring MIR Semantics through miri
 categories: internship rust
+reddit: /rust/comments/6fqzub/exploring_mir_semantics_through_miri/
 ---
 
 It's now been two weeks since my internship started (two weeks already, can you believe it?).