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

* doc/org/ltlfilt.org: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-10-11 17:52:37 +02:00
parent f38570138d
commit 54c01cfcdf
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/ltlfilt.org
View file

@ -21,7 +21,7 @@ For instance the following will convert two LTL formulas expressed
using infix notation (with different names supported for the same using infix notation (with different names supported for the same
operators) and convert it into LBT's syntax. operators) and convert it into LBT's syntax.
#+BEGIN_SRC sh :results verbatim :exports results #+BEGIN_SRC sh :results verbatim :exports both
ltlfilt -l -f 'p1 U (p2 & GFp3)' -f 'X<>[]p4' ltlfilt -l -f 'p1 U (p2 & GFp3)' -f 'X<>[]p4'
#+END_SRC #+END_SRC
#+RESULTS: #+RESULTS: