From abab62dd3e2ed24d4456870105f289ea072557cc Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 27 Jan 2020 22:52:32 +0100 Subject: [PATCH] * doc/org/concepts.org: Typo. --- doc/org/concepts.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/concepts.org b/doc/org/concepts.org index 05cc91863..c0b2bb9b4 100644 --- a/doc/org/concepts.org +++ b/doc/org/concepts.org @@ -683,7 +683,7 @@ newer Spin releases (starting with Spin 6.2.4) use the second syntax as they help Spin to produce more precise counterexamples. Spot can read and write never claims in both syntaxes, but it cannot -parse never claim that use other features (such as variables) of the +parse never claims that use other features (such as variables) of the Promela language. * LBTT's format