alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/org/autcross.org: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-03-19 15:25:37 +01:00
parent a445778cd8
commit 56d675cc13
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/autcross.org
View file

@ -86,7 +86,7 @@ No problem detected.
In this example, we generate 3 random Büchi automata (because In this example, we generate 3 random Büchi automata (because
=ltl2dstar= expects Büchi automata as input) using [[file:randaut.org][=randaut=]], and pipe =ltl2dstar= expects Büchi automata as input) using [[file:randaut.org][=randaut=]], and pipe
them to =autcross=. For each of those automata, =autcross= display them to =autcross=. For each of those automata, =autcross= display
the source location of that automaton (here =-= indicate that the the source location of that automaton (here =-= indicates that the
automaton is read from standard input, and this is followed by automaton is read from standard input, and this is followed by
=beginline.column-endline.colum= specifying the position of that =beginline.column-endline.colum= specifying the position of that
automaton in the input. If the automata had names, they would automaton in the input. If the automata had names, they would