diff --git a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg index 15f44491ee863f32a1b4d40dea6d784a2dd42242..e37f4b9f29f06ddca7db8c4ffc5bad7c520e427c 100644 --- a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg +++ b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg @@ -1124,7 +1124,7 @@ model_check_transition(machine, hasParameters, tupleType, transitionIdentifier, <machine>::_ProjectionRead_<evalTransitions> read_<evalTransitions>_state = state._projected_state_for_<evalTransitions>(); auto <transitionIdentifier>_ptr = _OpCache<evalTransitions>.find(read_<evalTransitions>_state); if(<transitionIdentifier>_ptr == _OpCache<evalTransitions>.end()) { - BSet\<<tupleType>\> <transitionIdentifier> = <transitionIdentifier> = state.<evalTransitions>(); + BSet\<<tupleType>\> <transitionIdentifier> = state.<evalTransitions>(); { std::unique_lock\<std::mutex> _ProjectionRead_<evalTransitions>_lock(_ProjectionRead_<evalTransitions>_mutex); _OpCache<evalTransitions>.insert({read_<evalTransitions>_state, <transitionIdentifier>}); @@ -1133,7 +1133,7 @@ if(<transitionIdentifier>_ptr == _OpCache<evalTransitions>.end()) { <execTransitions> } } else { - BSet\<<tupleType>\> <transitionIdentifier> = <transitionIdentifier> = <transitionIdentifier>_ptr->second; + BSet\<<tupleType>\> <transitionIdentifier> = <transitionIdentifier>_ptr->second; for(const <tupleType>& param : <transitionIdentifier>) { <execTransitions> }