Re: [PATCH] formal: Replace 'article' with 'section'

["Paul E. McKenney" <paulmck@linux.vnet.ibm.com>]

On Thu, Oct 27, 2016 at 12:07:02AM +0900, Akira Yokosawa wrote:
> >From 32b72b9fccd06a3ea30cd844e8361a176a9892aa Mon Sep 17 00:00:00 2001
> From: Akira Yokosawa <akiyks@gmail.com>
> Date: Sat, 22 Oct 2016 20:35:44 +0900
> Subject: [PATCH] formal: Replace 'article' with 'section'
> 
> This commit removes a remnant of this section's origin in LWN.
> 
> Signed-off-by: Akira Yokosawa <akiyks@gmail.com>

Good eyes!  Applied and pushed, thank you.

							Thanx, Paul

> ---
>  formal/spinhint.tex | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/formal/spinhint.tex b/formal/spinhint.tex
> index ec53a7f..906de31 100644
> --- a/formal/spinhint.tex
> +++ b/formal/spinhint.tex
> @@ -51,7 +51,7 @@ book~\cite{Holzmann03a} on Promela and Spin,
>  as well as searchable online references starting at:
>  \url{http://www.spinroot.com/spin/Man/index.html}.
> 
> -The remainder of this article describes how to use Promela to debug
> +The remainder of this section describes how to use Promela to debug
>  parallel algorithms, starting with simple examples and progressing to
>  more complex uses.
> 
> -- 
> 2.7.4
>