X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/9d420f4bd1ec39e088d4c322c00eb974420b1c8b..8e16357bf59d7322689055ef5d7de2c13cee54a3:/personal/_posts/2018-08-22-two-kinds-of-invariants.md

diff --git a/personal/_posts/2018-08-22-two-kinds-of-invariants.md b/personal/_posts/2018-08-22-two-kinds-of-invariants.md
index a90dc47..785a9fd 100644
--- a/personal/_posts/2018-08-22-two-kinds-of-invariants.md
+++ b/personal/_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
 ---