diff --git a/alib2data/src/automaton/FSM/DFA.cpp b/alib2data/src/automaton/FSM/DFA.cpp index 95ff3c9cd64adec3a0671613e6a8ce43a4d508f9..7d96daf4b8c49ac0d92519d6fca6e30d9e22dea0 100644 --- a/alib2data/src/automaton/FSM/DFA.cpp +++ b/alib2data/src/automaton/FSM/DFA.cpp @@ -71,8 +71,8 @@ bool DFA::addTransition(const State& from, const alphabet::Symbol& input, const return false; else throw AutomatonException( - "Transition (\"" + (std::string) from.getName() + "\", \"" + (std::string) input + "\") -> \"" + (std::string) to.getName() - + "\" already exists."); + "Transition from this state and symbol already exists (\"" + (std::string) from.getName() + "\", \"" + (std::string) input + "\") -> \"" + (std::string) to.getName() + + "\"."); } transitions.insert(std::make_pair(key, to));