* The Self-Healing Code Fallacy: minor rewording

diff --git a/src/posts/2023-04-05-the-self-healing-code-fallacy.org b/src/posts/2023-04-05-the-self-healing-code-fallacy.org
index 3f0fb6c11338063952daf47d3c2db65e5299291f..05f7a5ac3e5a9f953d5c557bcf300163161c2f05 100644 (file)
--- a/src/posts/2023-04-05-the-self-healing-code-fallacy.org
+++ b/src/posts/2023-04-05-the-self-healing-code-fallacy.org
@@ -68,8 +68,8 @@ Contrast this wishful-thinking, eye-shutting, based approach with
 something like [[https://pumpkin.uwplse.org/][PUMPKIN PATCH]] from Talia Ringer et al., where
 /automatic proof repair/ (a much more suitable term then "self-healing
 code") is done in the setting of a formal specification of what the
-program must do (or rather, what it must /be/--what type it needs to
-populate).
+program must do (or rather, what it must /be/--what type it should
+inhabit).
 
 * Conclusion