From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 7 Dec 2009 12:44:02 +0000 (+0100)
Subject: Fix a reference.
X-Git-Tag: final-thesis~59
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=549db3f3ac20300b86403b0aa4320d7bf3945b5c;p=matthijs%2Fmaster-project%2Freport.git

Fix a reference.
---

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index b058b63..4338710 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -1590,7 +1590,7 @@
 
       \subsubsection[sec:transformation:caseremoval]{Case removal}
         This transform removes any case expression with a single alternative and
-        only wild binders.\refdef{wild binder}
+        only wild binders.\refdef{wild binders}
 
         These "useless" case expressions are usually leftovers from case simplification
         on extractor case (see the previous example).