X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;fp=Chapters%2FNormalization.tex;h=922322bcda1901bba315d1afb35429ec8a69d481;hp=8058a1596c8683fb7da8ea5af9501ca78d555a3d;hb=efc1953cd015844a2d969a9c9b6e633569891033;hpb=51c4ee734de45dac80f73cab386164e1e8e4098e

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 8058a15..922322b 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -1952,7 +1952,7 @@
         twice). This is discussed in more detail in
         \in{section}[sec:normalization:duplicatework].
 
-      \subsubsection{Literals}
+      \subsubsection[sec:normalization:literals]{Literals}
         There are a limited number of literals available in Haskell and Core.
         \refdef{enumerated types} When using (enumerating) algebraic
         data-types, a literal is just a reference to the corresponding data