Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/axiomatic.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/axiomatic.tex b/formal/axiomatic.tex
index 58513eb..65d1b6a 100644
--- a/formal/axiomatic.tex
+++ b/formal/axiomatic.tex
@@ -383,7 +383,7 @@ in the \co{herd} output.
\QuickQuiz{}
\begin{lineref}[ln:formal:C-RomanPenyaev-list-rcu-rr:whole]
Also in Listing~\ref{lst:formal:Complex RCU Litmus Test},
- can't line~\lnref{updfree} be \co{WRITE_ONCE} instead
+ can't line~\lnref{updfree} be \co{WRITE_ONCE()} instead
of \co{smp_store_release()}?
\end{lineref}
\QuickQuizAnswer{
--
2.10.0
