From 3e4497dc70cdc6488bedf5cc26767c55a254b987 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 25 Jun 2003 09:45:57 +0000
Subject: [PATCH] spacing

---
 src/tgbatest/ltl2tgba.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 8176cd367..96485fdc0 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -22,7 +22,7 @@ syntax(char* prog)
 	    << "  -r   display the relation BDD, not the reachability graph"
 	    << std::endl
 	    << "  -R   same as -r, but as a set" << std::endl
-	    << "  -v   display the BDD variables used by the automaton" 
+	    << "  -v   display the BDD variables used by the automaton"
 	    << std::endl;
   exit(2);
 }