From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Fri, 6 Nov 2009 11:06:02 +0000 (+0100)
Subject: Fix layout of a transformation.
X-Git-Tag: final-thesis~167
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=48f4c2d4c18166aac6485e1c4ce759940c320bb2;p=matthijs%2Fmaster-project%2Freport.git

Fix layout of a transformation.
---

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 8879ba9..1e5b200 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -950,7 +950,7 @@
 
         \starttrans
         (letrec binds in E) M
-        -----------------
+        ------------------------
         letrec binds in E M
         \stoptrans