X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=a8194decdf2826b8c9677989754dcd4e3c78fa25;hb=6a085286454af0e0c45e5f959c49f2452f9893a4;hp=d36556beeb775495a399f554be7da5686313efad;hpb=8821711ab53c9f3b9989262a11c003766011e96c;p=matthijs%2Fmaster-project%2Freport.git

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index d36556b..a8194de 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -779,4 +779,3 @@ After let bind removal:
 \stoplambda
 
 Application simplification is not applicable.
-\stoptext