X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=1e5b200c0a82922b4f1b0c0350b09d6212372980;hp=2d82716401854391475606611d4068569ad7177a;hb=a472d8d94908d8f466a4cafe4d55c4c9410161d8;hpb=05ad754047f8965ea7d330d1b4a09ff53ce7f09d

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 2d82716..1e5b200 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -7,9 +7,9 @@
   % space at the start of the frame.
   \define[1]\example{
     \framed[offset=1mm,align=right,strut=no,background=box,frame=off]{
-      \setuptyping[option=LAM,style=sans,before=,after=]
+      \setuptyping[option=LAM,style=sans,before=,after=,strip=auto]
       \typebuffer[#1]
-      \setuptyping[option=none,style=\tttf]
+      \setuptyping[option=none,style=\tttf,strip=auto]
     }
   }
 
@@ -950,7 +950,7 @@
 
         \starttrans
         (letrec binds in E) M
-        -----------------
+        ------------------------
         letrec binds in E M
         \stoptrans