Fix typo

unary.tex

@@ -268,7 +268,7 @@ \subsection{Primitive cuts}
 Formally, this means the rules are now:
 \begin{mathpar}
   \inferrule{f\in\cG(A,B)}{f:(A\types B)}\and
-  \inferrule{A\in\cG}{\idfunc_A : (A\types B)}\and
+  \inferrule{A\in\cG}{\idfunc_A : (A\types A)}\and
   \inferrule{\phi:(A\types B) \\ \psi:(B\types C)}{\psi\comp{B} \phi:(A\types C)}
 \end{mathpar}
 % TODO: Mention somewhere the assumptions of "external" facts as premises