From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 30 Nov 2009 20:09:01 +0000 (+0100)
Subject: Fix two references.
X-Git-Tag: final-thesis~135
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=a117295a33890774410292246ae8d21bd2505cf8

Fix two references.
---

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