From: SeongJae Park <sj38.park@xxxxxxxxx>
\co{} is used for some boolean return values and not for some other
cases. To make it consistent, this commit makes it uses \co{} for all.
Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
defer/seqlock.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/defer/seqlock.tex b/defer/seqlock.tex
index da1d19ec..f435a1af 100644
--- a/defer/seqlock.tex
+++ b/defer/seqlock.tex
@@ -144,14 +144,14 @@ will pass to a later call to \co{read_seqretry()}.
}\QuickQuizEnd
\begin{fcvref}[ln:defer:seqlock:impl:read_seqretry]
-\Clnrefrange{b}{e} show \co{read_seqretry()}, which returns true if there
+\Clnrefrange{b}{e} show \co{read_seqretry()}, which returns \co{true} if there
was at least one writer since the time of the corresponding
call to \co{read_seqbegin()}.
\Clnref{mb} orders the caller's prior critical section before \clnref{fetch}'s
fetch of the new snapshot of the sequence counter.
\Clnref{ret} checks whether the sequence counter has changed,
in other words, whether there has been at least one writer, and returns
-true if so.
+\co{true} if so.
\end{fcvref}
\QuickQuizSeries{%
--
2.17.1
