Fix layout of a transformation.
[matthijs/master-project/report.git] / Chapters / Normalization.tex
index 8879ba9..1e5b200 100644 (file)
 
         \starttrans
         (letrec binds in E) M
-        -----------------
+        ------------------------
         letrec binds in E M
         \stoptrans