Fix a reference.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 12:44:02 +0000 (13:44 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 12:44:02 +0000 (13:44 +0100)
Chapters/Normalization.tex

index b058b63..4338710 100644 (file)
 
       \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).