Fix / remove some final todos.

[matthijs/master-project/report.git] / Chapters / Prototype.tex

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 870b7ccc0266e75930a09947b1c103cc9c5ddec2..1d87eeb50ee1cc49644ba3d787cadc5d7947c1df 100644 (file)
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -496,7 +496,6 @@
         of a case expression to normal form (evaluating any function
         applications, variable references and case expressions) is
         sufficient to decide which case alternatives should be chosen.
         of a case expression to normal form (evaluating any function
         applications, variable references and case expressions) is
         sufficient to decide which case alternatives should be chosen.

-        \todo{ref?}

       \stopframedtext
 
     }
       \stopframedtext
 
     }