check

defs.tex

@@ -233,7 +233,7 @@
 \newcommand{\CNOT}[1]{\LP\key{not}~#1\RP}
 \newcommand{\CALL}[2]{\key{Call}\LP #1\code{, } #2 \RP}
 \newcommand{\APPLY}[2]{\key{(Apply}~#1~#2\code{)}}
-\newcommand{\CAPPLY}[2]{\LP~#1~#2\RP}
+\newcommand{\CAPPLY}[2]{\LP#1~#2\RP}
 \newcommand{\FUNREF}[1]{\LP\key{FunRef}~#1\RP}
 \newcommand{\CFUNREF}[1]{\key{(fun-ref}~#1\code{)}}
 \fi