X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/4041df2de22d545046c3e8343df59924a68fc269..cce059c41f3db0d8a1d551cde49f500344682bae:/personal/_posts/2017-06-06-MIR-semantics.md

diff --git a/personal/_posts/2017-06-06-MIR-semantics.md b/personal/_posts/2017-06-06-MIR-semantics.md
index e092120..13f51db 100644
--- a/personal/_posts/2017-06-06-MIR-semantics.md
+++ b/personal/_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?).