From 0faf80fa311c017a7f9028d655e2c6d7fd6a6138 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 19 Mar 2018 15:25:37 +0100 Subject: [PATCH] * doc/org/autcross.org: Typo. --- doc/org/autcross.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/autcross.org b/doc/org/autcross.org index 63142f25d..c8095def9 100644 --- a/doc/org/autcross.org +++ b/doc/org/autcross.org @@ -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