diff --git a/adeterminize/src/fsm/FsmStructs.h b/adeterminize/src/fsm/FsmStructs.h index 19a67fe3a2a645645f26b80c3b766bcb4130cd2d..31f2aba6da217b539d5d37343ff2fcb6f72629a9 100644 --- a/adeterminize/src/fsm/FsmStructs.h +++ b/adeterminize/src/fsm/FsmStructs.h @@ -30,9 +30,8 @@ struct StateData StateData(const State& state, const set<State>& originalStates) : state(state), - originalStates(originalStates) { - this->isMarked = false; - } + originalStates(originalStates), + isMarked(false) {} };