From 0334dde7a2bde92b22c8202a04637c5ae06b5651 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Fri, 22 Jun 2018 17:14:20 +0100 Subject: [PATCH] Resolve a potential ambiguity in use of the ?: notation by adding parentheses. This addresses a Least Authority comment. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index a75dd8cf..3135d561 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -10014,7 +10014,7 @@ The constraint ``either $a = 0$ or $b = c$'' can be implemented as: \introlist \subsubsubsection{Selection constraints} \label{cctselection} -A selection constraint $b \bchoose x : y = z$, where $b \typecolon \bit$ has been +A selection constraint $(b \bchoose x : y) = z$, where $b \typecolon \bit$ has been boolean-constrained, can be implemented as: \begin{formulae}