formalregress.tex is using \co{} for spin tool, especially when
mentionging it together with Promela. A sentence in toyrcu.tex is not
using \co{} for same representation. Use \co{} for consistency.
Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
appendix/toyrcu/toyrcu.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/appendix/toyrcu/toyrcu.tex b/appendix/toyrcu/toyrcu.tex
index 1634953e..4083f9f0 100644
--- a/appendix/toyrcu/toyrcu.tex
+++ b/appendix/toyrcu/toyrcu.tex
@@ -535,7 +535,7 @@ checking of \co{rcu_refcnt}.
data element.
Exercise for the reader:
- Use a tool such as Promela/spin to determine which (if any) of
+ Use a tool such as Promela/\co{spin} to determine which (if any) of
the memory barriers in
\cref{lst:app:toyrcu:RCU Update Using Global Reference-Count Pair}
are really needed.
--
2.17.1
