projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
8638abe
)
Fix a reference.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Mon, 7 Dec 2009 12:44:02 +0000
(13:44 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Mon, 7 Dec 2009 12:44:02 +0000
(13:44 +0100)
Chapters/Normalization.tex
patch
|
blob
|
history
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 binder
s
}
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).