From 30652ba336e0719a0036394fc9c04a4654968f12 Mon Sep 17 00:00:00 2001
From: martinez <martinez>
Date: Fri, 14 May 2004 13:08:26 +0000
Subject: [PATCH] * src/tgbatest/ltl2tgba.cc (main): Thinko.

---
 ChangeLog                |  2 ++
 src/tgbatest/ltl2tgba.cc | 11 ++++-------
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index d0356aea5..8eb5a2e41 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-05-14  Thomas Martinez  <martinez@src.lip6.fr>
 
+	* src/tgbatest/ltl2tgba.cc (main): Thinko.
+
 	* src/ltlvisit/basereduc.cc (spot): Correct some mistakes.
 	* src/ltlvisit/lunabbrev.cc (spot): Nothing change.
 	* src/tgbatest/ltl2tgba.cc (main): More option to reduce
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 0a27e44a2..eecc60814 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -281,10 +281,6 @@ main(int argc, char** argv)
 	{
 	  reduc_r4 = true;
 	}
-      else if (!strcmp(argv[formula_index], "-rd"))
-	{
-	  reduc_rd = true;
-	}
       else
 	{
 	  break;
@@ -372,9 +368,10 @@ main(int argc, char** argv)
 	  else
 	    to_free = a = concrete = spot::ltl_to_tgba_lacim(f, dict);
 
-	  if (reduc_r1 || reduc_r2 || reduc_r3 || reduc_r4) {
-	    spot::ltl::destroy(ftmp);
-	  }
+	  if (reduc_r1 || reduc_r2 || reduc_r3 || reduc_r4)
+	    {
+	      spot::ltl::destroy(ftmp);
+	    }
 	}
 
       spot::tgba_tba_proxy* degeneralized = 0;