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
 
       \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).
 
         These "useless" case expressions are usually leftovers from case simplification
         on extractor case (see the previous example).