Messages inside \co{} will be ignored by the check scripts.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/spinhint.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index 16f216e0..c1fe2d40 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -275,7 +275,7 @@ Given a source file \path{qrcu.spin}, one can use the following commands:
10.5\,GB of memory even with the \co{-DCOLLAPSE} flag.
If you see a message from \co{./pan} saying:
- ``error: max search depth too small'', you need to increase
+ ``\co{error: max search depth too small}'', you need to increase
the maximum depth by a \co{-mN} option for a complete search.
The default is \co{-m10000}.
@@ -582,7 +582,7 @@ cc -DSAFETY -o pan pan.c
The output will look something like that shown in
\cref{lst:formal:Output for Spinlock Test}.
-As expected, this run has no assertion failures (``errors: 0'').
+As expected, this run has no assertion failures (``\co{errors: 0}'').
\QuickQuizSeries{%
\QuickQuizB{
--
2.17.1
