Commit f87fadc4c8ea ("formal/ppcmem: Use \qco{} instead of ``\co{}''")
did not use \qco{} in one of the hunks.
Use \qco{} as intended.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
Cc: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/ppcmem.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/ppcmem.tex b/formal/ppcmem.tex
index 10526bca88ae..9d7704fa43d0 100644
--- a/formal/ppcmem.tex
+++ b/formal/ppcmem.tex
@@ -99,7 +99,7 @@ exists @lnlbl[assert:b]
\begin{fcvref}[ln:formal:PPCMEM Litmus Test]
In the example, \clnref{type} identifies the type of system (\qco{ARM} or
-\co{PPC}) and contains the title for the model.
+\qco{PPC}) and contains the title for the model.
\Clnref{altname} provides a place for an
alternative name for the test, which you will usually want to leave
blank as shown in the above example.
--
2.25.1
