From: Ralf Jung <post@ralfj.de>
Date: Wed, 22 Aug 2018 19:29:44 +0000 (+0200)
Subject: expand post title
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/f89d2424971d83de9f72712443a05ba8e1d61000?ds=inline;hp=d9ec12b20e000a9e98cef90f0be0904a9874c700

expand post title
---

diff --git a/ralf/_posts/2018-08-22-two-kinds-of-invariants.md b/ralf/_posts/2018-08-22-two-kinds-of-invariants.md
index a90dc47..785a9fd 100644
--- a/ralf/_posts/2018-08-22-two-kinds-of-invariants.md
+++ b/ralf/_posts/2018-08-22-two-kinds-of-invariants.md
@@ -1,5 +1,5 @@
 ---
-title: "Two Kinds of Invariants"
+title: "Two Kinds of Invariants: Safety and Validity"
 categories: internship rust
 forum: https://internals.rust-lang.org/t/two-kinds-of-invariants/8264
 ---