diff --git a/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp b/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp index 240a20ad249a3483bb45dac3e12af20a29b06897..f1b464ca7d4ee15a667226325c4b24dc9908e182 100644 --- a/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp +++ b/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp @@ -14,6 +14,8 @@ #include <common/createUnique.hpp> +#include <label/FinalStateLabel.h> + namespace automaton { namespace convert { @@ -98,7 +100,7 @@ void ToRegExpStateElimination::extendExtendedNFA(automaton::ExtendedNFA < > & au } if(automaton.getFinalStates().size() > 1) { - label::Label f = common::createUnique(label::labelFrom("f"), automaton.getStates()); + label::Label f = common::createUnique(label::FinalStateLabel::instance < label::Label > ( ), automaton.getStates()); automaton.addState(f); for(const auto &state : automaton.getFinalStates() ) {