X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/1f945042306a6607832629025073447bb5d414aa..2e6f12fe7b2d2bafdbb91b1a0ca9a4a8e08d6b8d:/personal/_posts/2017-08-11-types-as-contracts-evaluation.md

diff --git a/personal/_posts/2017-08-11-types-as-contracts-evaluation.md b/personal/_posts/2017-08-11-types-as-contracts-evaluation.md
index edb2a45..e3ccfd1 100644
--- a/personal/_posts/2017-08-11-types-as-contracts-evaluation.md
+++ b/personal/_posts/2017-08-11-types-as-contracts-evaluation.md
@@ -268,4 +268,4 @@ Still, I certainly intend to stay involved. This problem is way too interesting
 As always, please [comment](https://internals.rust-lang.org/t/https-www-ralfj-de-blog-2017-08-11-types-as-contracts-evaluation-html/5753) with your thoughts on the topic.
 I am particularly curious about what kind of test cases you are throwing at miri, and how it is doing!
 
-**Update**: I added a proposal for how to fix the `Arc` problem.
+**Update:** I added a proposal for how to fix the `Arc` problem. **/Update**