From 549db3f3ac20300b86403b0aa4320d7bf3945b5c Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 7 Dec 2009 13:44:02 +0100 Subject: [PATCH] Fix a reference. --- Chapters/Normalization.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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). -- 2.30.2