From 162e114396ad54f7feb0f14e6e6122727b7212ef Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 19 Jun 2015 17:04:10 +0200
Subject: [PATCH] org: fix SAT example

* doc/org/satmin.org: Do not use ":export code" on
code that must be run on export.
---
 doc/org/satmin.org | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/doc/org/satmin.org b/doc/org/satmin.org
index f25952cc6..18b9af506 100644
--- a/doc/org/satmin.org
+++ b/doc/org/satmin.org
@@ -367,11 +367,10 @@ acceptance.
 For our example, let us first generate a deterministic Rabin
 automaton with [[http://www.ltl2dstar.de/][=ltl2dstar=]].
 
-#+BEGIN_SRC sh :results verbatim :exports code
+#+BEGIN_SRC sh :results silent
 ltlfilt -f "FGa | FGb" -l |
 ltl2dstar --ltl2nba=spin:ltl2tgba@-Ds --output-format=hoa - - > output.hoa
 #+END_SRC
-#+RESULTS:
 
 Let's draw it:
 #+NAME: autfiltsm1
@@ -727,6 +726,6 @@ given, the useless sink state would have been kept and the output
 automaton would have 6 states.
 
 
-#+BEGIN_SRC sh :results verbatim :exports none
+#+BEGIN_SRC sh :results silent :exports results
 rm -f output.hoa output2.hoa
 #+END_SRC