From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 12 Oct 2009 11:24:04 +0000 (+0200)
Subject: Fix typo.
X-Git-Tag: final-thesis~206
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=515640496bdb40f516005e0418ec648f75eb0418;ds=sidebyside

Fix typo.
---

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 7c6b469..3026569 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -886,7 +886,7 @@ in scope for the function return value).
 Note that this transformation does not try to be smart when faced with
 recursive lets, it will just leave the lets recursive (possibly joining a
 recursive and non-recursive let into a single recursive let). The let
-rederursification transformation will do this instead.
+rederecursification transformation will do this instead.
 
 \starttrans
 letnonrec x = (let bindings in M) in N