diff --git a/alib2algo/src/automaton/transform/AutomataConcatenation.h b/alib2algo/src/automaton/transform/AutomataConcatenation.h index 7b19c9970dd941e569f7696f319f0005846ad1e1..4a5614e114b3e3f23f91f9cef6b59a6dd629a815 100644 --- a/alib2algo/src/automaton/transform/AutomataConcatenation.h +++ b/alib2algo/src/automaton/transform/AutomataConcatenation.h @@ -90,7 +90,7 @@ automaton::NFA < typename AutomatonType::SymbolType, ext::pair < typename Automa for ( const auto & t : second.getTransitionsFromState ( second.getInitialState ( ) ) ) res.addTransition ( q01q02, t.first.second, { t.second, SECOND } ); - if ( first.getFinalStates ( ).contains ( first.getInitialState() ) && second.getFinalStates().contains(second.getInitialState())) + if ( second.getFinalStates().contains(second.getInitialState())) res.addFinalState ( q01q02 ); }