From da3333477f07e01f8685249e98206d4b7e9dcdd4 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 3578d90f4..6af5c476c 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