[PATCH 2/3] appendix/toyrcu: Use \co{} for spin tool

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 <[email protected]>
---
 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