diff options
Diffstat (limited to 'src/uscxml/transform/FSMToPromela.cpp')
| -rw-r--r-- | src/uscxml/transform/FSMToPromela.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uscxml/transform/FSMToPromela.cpp b/src/uscxml/transform/FSMToPromela.cpp index d72dccb..3607071 100644 --- a/src/uscxml/transform/FSMToPromela.cpp +++ b/src/uscxml/transform/FSMToPromela.cpp @@ -317,7 +317,7 @@ void FSMToPromela::writeExecutableContent(std::ostream& stream, const Arabica::D } stream << padding << "}" << std::endl; - if (isFinal(newState)) { + if (isFinal(Element<std::string>(newState))) { stream << padding << "goto terminate;" << std::endl; } else { stream << padding << "goto nextStep;" << std::endl; |