Re: [PATCH -perfbook 2/7] formal/ppcmem: Use \qco{} as intended

[SeongJae Park <sj38.park@gmail.com>]

On Sun, 30 Apr 2023 08:07:18 +0900 Akira Yokosawa <akiyks@gmail.com> 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@gmail.com>
> Cc: SeongJae Park <sj38.park@gmail.com>

Reviewed-by: SeongJae Park <sj38.park@gmail.com>


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
> 
>