From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 26 Aug 2009 07:55:50 +0000 (+0200)
Subject: Remove \stoptext from the Normalization chapter.
X-Git-Tag: final-thesis~288
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=070d98a8fb8de0445264129a11c20ee45fabc052

Remove \stoptext from the Normalization chapter.
---

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