Fix a reference.

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index b058b63a2a3debae92f4fe435fe1f31799555c40..433871013eced36c05be270707d14eceeed84646 100644 (file)
--- 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).