fix the title *oops*

[web.git] / personal / _posts / 2021-11-18-ub-good-idea.md

diff --git a/personal/_posts/2021-11-18-ub-good-idea.md b/personal/_posts/2021-11-18-ub-good-idea.md
index 1f374b210c5967adf4a00eb742e6f2ab81081f5c..19f82681ebf7ec4decd7efbed43da077a6791acd 100644 (file)
--- a/personal/_posts/2021-11-18-ub-good-idea.md
+++ b/personal/_posts/2021-11-18-ub-good-idea.md
@@ -1,6 +1,7 @@
 ---
 title: "Undefined Behavior deserves a better reputation"
 categories: rust research
 ---
 title: "Undefined Behavior deserves a better reputation"
 categories: rust research

+reddit: /rust/comments/qx168t/undefined_behavior_deserves_a_better_reputation/

 ---
 
 *This is a cross-post of an [article that I wrote for the SIGPLAN blog](https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/).*
 ---
 
 *This is a cross-post of an [article that I wrote for the SIGPLAN blog](https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/).*