From: Matthijs Kooijman 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).