>From 32b72b9fccd06a3ea30cd844e8361a176a9892aa Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
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@xxxxxxxxx>
---
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
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
