From 54c01cfcdf2d69196f32aa5672c1371267d56be5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 11 Oct 2013 17:52:37 +0200 Subject: [PATCH] * doc/org/ltlfilt.org: Typo. --- doc/org/ltlfilt.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/ltlfilt.org b/doc/org/ltlfilt.org index e9bc006cc..e3da1facf 100644 --- a/doc/org/ltlfilt.org +++ b/doc/org/ltlfilt.org @@ -21,7 +21,7 @@ For instance the following will convert two LTL formulas expressed using infix notation (with different names supported for the same 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' #+END_SRC #+RESULTS: