X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fndp%2Fvect.tex;h=29f5125471e521d956c1de483a84f23fb3688db7;hb=265bedd9b4869cf5f323ab32ed1e4af0f7a0bfe0;hp=06d8537957167cc8410c8ed135bda55b7f7a19bc;hpb=f35b69cf2ab808f9ec4e93d54b9f41ca4a51c8e0;p=ghc-hetmet.git

diff --git a/docs/ndp/vect.tex b/docs/ndp/vect.tex
index 06d8537..29f5125 100644
--- a/docs/ndp/vect.tex
+++ b/docs/ndp/vect.tex
@@ -169,7 +169,7 @@ c:\sigma\in\Delta \Longrightarrow c_v:\vect{\sigma}\in\Delta
 \vect{x} & = x   & x is local \\
 \vect{\Lambda\alpha:\kappa.e} & = 
 \Lambda\alpha:\kappa.\lambda{dPA_{\alpha}}:\patype{\alpha:\kappa}.\vect{e} \\
-\vect{e[\sigma]} & = \vect{e}[\vect{\sigma}] \\
+\vect{e[\sigma]} & = \vect{e}[\vect{\sigma}] \pa{\vect{\sigma}} \\
 \vect{e_1 e_2} & = \vect{e_1}\capp\vect{e_2} \\
 \vect{\lambda{x}:\sigma.e} & = Clo \vect{\sigma} \vect{\phi} \tau \pa{\tau}
                                    (y_1,\dots,y_n) \\