
diff -r e78af5feb655 -r 058504a45c34 slides/slides07.tex
--- a/slides/slides07.tex	Tue Nov 19 03:05:48 2013 +0000
+++ b/slides/slides07.tex	Tue Nov 19 20:19:19 2013 +0000
@@ -450,8 +450,8 @@
   \frametitle{Sending Rule}
 
   \bl{\begin{center}
-  \mbox{\infer{\Gamma \vdash Q \;\text{says}\; F}
-              {\Gamma \vdash P \;\text{says}\; F & \Gamma \vdash P \;\text{sends}\; Q : F}}
+  \mbox{$\infer{\Gamma \vdash Q \;\text{says}\; F}
+              {\Gamma \vdash P \;\text{says}\; F & \Gamma \vdash P \;\text{sends}\; Q : F}$}
   \end{center}}\bigskip\pause
   
   \bl{$P \,\text{sends}\, Q : F \dn$}\\




