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

* doc/org/ltlcross.org: Fix ltlcross.csv example.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-04-19 17:19:39 +02:00
parent 9aa5e67384
commit f3657a6763
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/ltlcross.org
View file

@ -708,7 +708,7 @@ looking whether the command specification for a translator has the
form "={short name}actual command=".
For instance, after
#+BEGIN_SRC sh :exports code
#+BEGIN_SRC sh :results silent
genltl --and-f=1..5 |
ltlcross '{small} ltl2tgba -s --small %f >%O' \
'{deter} ltl2tgba -s --deter %f >%O' --csv=ltlcross.csv