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 0ec5ebac3f
commit 0faf80fa31
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

@ -88,7 +88,7 @@ No problem detected.
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
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
=beginline.column-endline.colum= specifying the position of that
automaton in the input. If the automata had names, they would