From: SeongJae Park <[email protected]> All sentences but one in memorder.tex use \co{} for herd. Use it consistently.
Signed-off-by: SeongJae Park <[email protected]> --- 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
