small change in fsm state data

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) {}
     
 };