On Sun, 30 Apr 2023 08:07:18 +0900 Akira Yokosawa <akiyks@xxxxxxxxx> wrote:
> Commit f87fadc4c8ea ("formal/ppcmem: Use \qco{} instead of ``\co{}''")
> did not use \qco{} in one of the hunks.
>
> Use \qco{} as intended.
Nice catch! Thank you for this fix!
>
> Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
> Cc: SeongJae Park <sj38.park@xxxxxxxxx>
Reviewed-by: SeongJae Park <sj38.park@xxxxxxxxx>
Thanks,
SJ
> ---
> 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
>
>
