From 803f9a5dd8cce3e346eecd8e6fed1bc7fc8ea54b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 20 Feb 2017 12:10:15 +0100
Subject: [PATCH] * doc/org/genltl.org: Simplify example.

---
 doc/org/genltl.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/org/genltl.org b/doc/org/genltl.org
index 11df83117..3751df185 100644
--- a/doc/org/genltl.org
+++ b/doc/org/genltl.org
@@ -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