Commit 803f9a5d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

* doc/org/genltl.org: Simplify example.

parent 93dad615
......@@ -236,7 +236,7 @@ contain only 46 formulas, not 54.
#+BEGIN_SRC sh :results verbatim :exports both
genltl --sb | ltlfilt --uniq --count
(genltl --sb; genltl --sb | ltlfilt --negate) | ltlfilt --uniq --count
genltl --sb --pos --neg | ltlfilt --uniq --count
#+END_SRC
#+RESULTS:
: 27
......
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