X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=1e5b200c0a82922b4f1b0c0350b09d6212372980;hp=8879ba9af1266bfdb92903021be479e4193b02e8;hb=48f4c2d4c18166aac6485e1c4ce759940c320bb2;hpb=42a5dbd086e55750ef22c8c989f2a7ec474815c5;ds=sidebyside

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