From d64b40452ca27928cb1626442fb2ddec949dfbac Mon Sep 17 00:00:00 2001
From: Ala-Eddine Ben-Salem <ala@lrde.epita.fr>
Date: Sun, 27 Nov 2011 14:23:18 +0100
Subject: [PATCH] STA: the artificial livelock state becomes the first
 successor

* src/taalgos/tgba2ta.cc: improves the STA (Single-pass TA) by adding
the  artificial livelock state as the first successor.
---
 src/taalgos/tgba2ta.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/taalgos/tgba2ta.cc b/src/taalgos/tgba2ta.cc
index ffdab7f53..36e900f47 100644
--- a/src/taalgos/tgba2ta.cc
+++ b/src/taalgos/tgba2ta.cc
@@ -271,7 +271,7 @@ namespace spot
               {
 
                 testing_automata->create_transition(source, (*it_conditions),
-                    bddfalse, artificial_livelock_accepting_state);
+                    bddfalse, artificial_livelock_accepting_state,true);
 
               }
           }