From 509edabab4f1f0b0b94802796074c7c912b980d8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 10 May 2012 10:09:58 +0200
Subject: [PATCH] Missing space in help text.

* src/tgbatest/ltl2tgba.cc (syntax): Here.  Reported by Akim Demaille.
---
 src/tgbatest/ltl2tgba.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 641e0b98e..102e82875 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -120,8 +120,7 @@ syntax(char* prog)
 
 	    << "Translation algorithm:" << std::endl
             << "  -f    use Couvreur's FM algorithm for LTL"
-	    << "(default)"
-	    << std::endl
+	    << " (default)" << std::endl
             << "  -l    use Couvreur's LaCIM algorithm for LTL "
 	    << std::endl
 	    << "  -le   use Couvreur's LaCIM algorithm for ELTL"