From f3657a676306e13e0e92787313f6d1f96f104996 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 19 Apr 2019 17:19:39 +0200
Subject: [PATCH] * doc/org/ltlcross.org: Fix ltlcross.csv example.

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

diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org
index 6febcb1b6..12593f0fb 100644
--- a/doc/org/ltlcross.org
+++ b/doc/org/ltlcross.org
@@ -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