From 86b7f26960a5c6a2a833658a9c9399c47a0a999e Mon Sep 17 00:00:00 2001
From: Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
Date: Tue, 11 Jan 2005 12:27:37 +0000
Subject: [PATCH] * src/tgbaparse/tgbaparse.yy: Accept automaton without state.

* src/ltltest/randltl.cc: Typo.
---
 ChangeLog                  | 6 ++++++
 src/ltltest/randltl.cc     | 4 ++--
 src/tgbaparse/tgbaparse.yy | 7 ++++++-
 3 files changed, 14 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 7c3fff317..2917e66ab 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2005-01-11  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
+
+	* src/tgbaparse/tgbaparse.yy: Accept automaton without state.
+
+	* src/ltltest/randltl.cc: Typo.
+
 2005-01-10  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
 	* src/tgbatest/randtgba.cc: Typo.
diff --git a/src/ltltest/randltl.cc b/src/ltltest/randltl.cc
index a8e285eb1..483e0f413 100644
--- a/src/ltltest/randltl.cc
+++ b/src/ltltest/randltl.cc
@@ -148,10 +148,10 @@ main(int argc, char** argv)
       exit(2);
     }
 
-  if (opt_r > opt_F)
+  if (opt_r > opt_f)
     {
       std::cerr << "-r's argument (" << opt_r << ") should not be larger than "
-		<< "-F's (" << opt_F << ")" << std::endl;
+		<< "-f's (" << opt_F << ")" << std::endl;
       exit(2);
     }
 
diff --git a/src/tgbaparse/tgbaparse.yy b/src/tgbaparse/tgbaparse.yy
index 3ad7ad946..2740137f9 100644
--- a/src/tgbaparse/tgbaparse.yy
+++ b/src/tgbaparse/tgbaparse.yy
@@ -81,7 +81,12 @@ typedef std::map<std::string, bdd> formula_cache;
   } acc_list
 
 %%
-tgba: acceptance_decl lines | lines;
+tgba: acceptance_decl lines
+      | acceptance_decl
+      { result->add_state("0"); }
+      | lines
+      |
+      { result->add_state("0"); };
 
 acceptance_decl: ACC_DEF acc_decl ';'