From: SeongJae Park <sj38.park@xxxxxxxxx>
All sentences but one in memorder.tex use \co{} for herd. Use it
consistently.
Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
memorder/memorder.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/memorder/memorder.tex b/memorder/memorder.tex
index b7699129..5ded6988 100644
--- a/memorder/memorder.tex
+++ b/memorder/memorder.tex
@@ -527,7 +527,7 @@ sometimes substitute \co{WRITE_ONCE()} plus \co{smp_wmb()} for
and \co{READ_ONCE()} plus \co{smp_rmb()} for \co{smp_load_acquire()}
on the other.
However, the wise developer will check such substitutions carefully,
-for example, using the herd tool as described in
+for example, using the \co{herd} tool as described in
\cref{sec:formal:Axiomatic Approaches}
on
\cpageref{sec:formal:Axiomatic Approaches}.
--
2.17.1
