From 48f4c2d4c18166aac6485e1c4ce759940c320bb2 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Fri, 6 Nov 2009 12:06:02 +0100 Subject: [PATCH] Fix layout of a transformation. --- Chapters/Normalization.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2