Commit 54e25e38 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

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

parent cb721916
Pipeline #8446 passed with stages
in 165 minutes and 56 seconds
......@@ -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
......
Markdown is supported
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