X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=cbef2c0a7322718897573c561dafc22356276ce8;hp=2acd1c8a14296539507ef8e153c19ff79a9498f5;hb=841a7f87134c7216e32ea002aae01ed8c357fec5;hpb=5c38ded1a699a06da954610323574af284fe2738

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 2acd1c8..cbef2c0 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -480,8 +480,8 @@ translatable. A user-defined function is any other function.
 \starttrans
 x = E
 ~
-x Y0 ... Yi ... Yn                               \lam{Y_i} is not of a runtime representable type
----------------------------------------------    \lam{Y_i} is not a local variable reference
+x Y0 ... Yi ... Yn                               \lam{Yi} is not of a runtime representable type
+---------------------------------------------    \lam{Yi} is not a local variable reference
 x' = λy0 ... yi-1 f0 ... fm yi+1 ... yn .        \lam{f0 ... fm} = free local vars of \lam{Y_i}
       E y0 ... yi-1 Yi yi+1 ... yn   
 ~