From 7cf57e2463ad540a9d7b6af38f9e7adaea0edd62 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 25 Jun 2003 09:50:40 +0000
Subject: [PATCH] fix message

---
 src/tgbatest/ltl2tgba.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 96485fdc0..a854764d8 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -11,8 +11,9 @@
 void
 syntax(char* prog)
 {
-  std::cerr << "Usage: "<< prog << " [-d][-o][-r] formula" << std::endl
-	    << std::endl
+  std::cerr << "Usage: "<< prog << " [OPTIONS...] formula" << std::endl
+	    << std::endl 
+	    << "Options:" << std::endl
 	    << "  -a   display the accepting_conditions BDD, not the reachability graph"
 	    << std::endl
 	    << "  -A   same as -a, but as a set" << std::endl