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);
 
               }
           }