X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;fp=Chapters%2FNormalization.tex;h=433871013eced36c05be270707d14eceeed84646;hp=b058b63a2a3debae92f4fe435fe1f31799555c40;hb=549db3f3ac20300b86403b0aa4320d7bf3945b5c;hpb=8638abef4686335ede35793b43f3e25930822544

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).