From d362e752d1b9442eecfb30dc95d26cf9354c9ad9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 26 Nov 2009 17:40:21 +0100
Subject: [PATCH] * src/tgbatest/ltl2tgba.cc (main): Fix typo to re-enable
 reductions by simulation.

---
 ChangeLog                | 5 +++++
 src/tgbatest/ltl2tgba.cc | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index b70bc1aa8..a4a8e4b50 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-11-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.cc (main): Fix typo to re-enable
+	reductions by simulation.
+
 2009-11-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* m4/buddy.m4 (AX_CHECK_BUDDY): Check for bdd_satprefix, the
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index a94f020ae..2b9dd5d29 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -727,7 +727,7 @@ main(int argc, char** argv)
 	      tm.stop("reducing A_f w/ SCC");
 	    }
 
-	  if (reduc_aut & !spot::Reduce_Scc)
+	  if (reduc_aut & ~spot::Reduce_Scc)
 	    {
 	      tm.start("reducing A_f w/ sim.");
 	      a = aut_red = new spot::tgba_reduc(a);