From 579ff63817891ff5f7ac02131272db717b517411 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 18 May 2020 17:08:40 +0200
Subject: [PATCH] * doc/org/satmin.org: Remove extra newlines (fixes #410).

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

diff --git a/doc/org/satmin.org b/doc/org/satmin.org
index e316b81c6..51b8fd9d8 100644
--- a/doc/org/satmin.org
+++ b/doc/org/satmin.org
@@ -190,7 +190,7 @@ dstar2tgba -D --stats='input(states=%S) output(states=%s, acc-sets=%a, det=%d)'
 #+BEGIN_SRC sh :exports none
 ltlfilt --remove-wm -f 'G(F(!b & (X!a M (F!a & F!b))) U !b)' -l |
 ltl2dstar --ltl2nba=spin:ltl2tgba@-Ds - - |
-dstar2tgba -D --stats=$arg
+dstar2tgba -D --stats=$arg | tr -d '\n'
 #+END_SRC
 
 In the above command, =ltldo= is used to convert the LTL formula into