diff --git a/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h b/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h index 8e6446858f8c1e19083b5de7df7c355f895b6701..8f159ac939c99fdbd9aeacbcfeb095fbe6e01350 100644 --- a/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h +++ b/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h @@ -109,7 +109,7 @@ automaton::MultiInitialStateNFA < SymbolType, StateType > EpsilonRemoverOutgoing for( const auto & symbol : fsm.getInputAlphabet() ) { for( const auto& transition : fsm.getTransitions( ) ) { - if(transition.second == middle ) continue; + if(transition.second != middle ) continue; if(transition.first.second != symbol) continue; for( const auto & to : middleClosure )