Commit da333347 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* doc/org/concepts.org: Typo.

parent 50c0f880
Pipeline #16318 passed with stages
in 229 minutes and 23 seconds
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment