* src/tgbatest/ltl2tgba.cc (syntax): Typo.

ChangeLog

 2004-08-12  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbatest/ltl2tgba.cc (syntax): Typo.
+
 	* doc/Doxyfile.in (STRIP_FROM_PATH): Strip @srcdir@ so its
 	does not appear when listing mainpage.dox.
 

src/tgbatest/ltl2tgba.cc

@@ -107,7 +107,7 @@ syntax(char* prog)
 	    << "  -t   display reachable states in LBTT's format" << std::endl
 	    << "  -v   display the BDD variables used by the automaton"
 	    << std::endl
-            << "  -x   try to produce a more deterministic automata "
+            << "  -x   try to produce a more deterministic automaton "
 	    << "(implies -f)" << std::endl
 	    << "  -X   do not compute an automaton, read it from a file"
 	    << std::endl