X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=ca84ed171760e6af2a40cf3f418025a4d13c15bc;hp=4e0075946eb3475e06f81076aec02d69c5a07de9;hb=70c17aa5346776371e1d66ecc0371c0a3ce179d2;hpb=627861d0a5c3dfeb94b75f0f09c3e45906e46ea0

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 4e00759..ca84ed1 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -952,10 +952,10 @@
 
         \transexample{toplevelinline}{Top level binding inlining}{from}{to}
        
-        Example \in{ex:trans:toplevelinline} shows a typical application of
+        \in{Example}[ex:trans:toplevelinline] shows a typical application of
         the addition operator generated by \GHC. The type and dictionary
         arguments used here are described in
-        \in{section:prototype:polymorphism}.
+        \in{Section}[section:prototype:polymorphism].
 
         Without this transformation, there would be a (+) entity in the
         architecture which would just add its inputs. This generates a lot of