Remove todo.

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 37895b3a5543f6c189625da9b4645ae9d418bccc..61170088d4b13a23166d7a7683628629f7442351 100644 (file)
--- 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,