Fix layout of a transformation.

[matthijs/master-project/report.git] / Chapters / Normalization.tex

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

-        -----------------
+        ------------------------

         letrec binds in E M
         \stoptrans
 
         letrec binds in E M
         \stoptrans