* src/tgbatest/ltl2tgba.cc (syntax): Mention gv04 in help text.

ChangeLog

+2004-11-28  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbatest/ltl2tgba.cc (syntax): Mention gv04 in help text.
+
 2004-11-27  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/minimizerun.cc: Shut up a GCC warning when assert

src/tgbatest/ltl2tgba.cc

@@ -127,6 +127,7 @@ syntax(char* prog)
             << std::endl
 	    << "  bsh_magic_search_repeated[(heap size in MB - 10MB"
             << " by default)]" << std::endl
+	    << "  gv04" << std::endl
 	    << "  se05_search" << std::endl
 	    << "  se05_search_repeated" << std::endl
 	    << "  bsh_se05_search[(heap size in MB - 10MB by default)]"