From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Fri, 4 Dec 2009 12:53:26 +0000 (+0100)
Subject: Remove todo.
X-Git-Tag: final-thesis~106
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=f276067e08b153e130b305242a4e2ef87e84960a;p=matthijs%2Fmaster-project%2Freport.git

Remove todo.
---

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 37895b3..6117008 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -2244,7 +2244,6 @@
       Also, since there is only one node in the normal set, it must obviously be
       \emph{deterministic} as well.
 
-    \todo{Add content to these sections}
     \subsection{Termination}
       In general, proving termination of an arbitrary program is a very
       hard problem. \todo{Ref about arbitrary termination} Fortunately,