Remove \stoptext from the Normalization chapter.
[matthijs/master-project/report.git] / Chapters / Normalization.tex
index d36556b..a8194de 100644 (file)
@@ -779,4 +779,3 @@ After let bind removal:
 \stoplambda
 
 Application simplification is not applicable.
-\stoptext