X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=1d87eeb50ee1cc49644ba3d787cadc5d7947c1df;hp=870b7ccc0266e75930a09947b1c103cc9c5ddec2;hb=2ff5f767f17203c764a8ec9ef6711b234c1deb6d;hpb=5d71d2a32828f0c589696ba07dea0867c7fcf988

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 870b7cc..1d87eeb 100644
--- 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.
-        \todo{ref?}
       \stopframedtext
 
     }