Skip to content

Commit

Permalink
fix: make it compile
Browse files Browse the repository at this point in the history
  • Loading branch information
OlivierBBB committed Nov 20, 2024
1 parent 5bd328c commit 73d7c39
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion exp/general/binary.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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$
Expand Down

0 comments on commit 73d7c39

Please sign in to comment.