From 73d7c39891b26cd3f873863e950b350649ef6b28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= Date: Wed, 20 Nov 2024 12:14:13 +0700 Subject: [PATCH] fix: make it compile --- exp/general/binary.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/exp/general/binary.tex b/exp/general/binary.tex index 19ca80b..85820ea 100644 --- a/exp/general/binary.tex +++ b/exp/general/binary.tex @@ -9,7 +9,7 @@ \item[\vspace{\fill}] \end{enumerate} \end{multicols} -We further constrain the $\ppWcpFlag$, which belongs to the \isPreprocessing{}-perspective, to vanish outside of preprocessing rows: +We further constrain the $\ppWcpFlag$, which belongs to the $\isPreprocessing$-perspective, to vanish outside of preprocessing rows: \begin{enumerate}[resume] \item \If $\isPreprocessing_{i} = 0$ \Then $\ppWcpFlag_{i} = 0$ \item \If $\isPreprocessing_{i} = 1$ \Then $\ppWcpFlag_{i} \cdot (1 - \ppWcpFlag_{i}) = 0$