From 83ec406a381b855902d34ef6297a17495897658a Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Wed, 26 Mar 2014 13:29:30 +0100
Subject: [PATCH] small change in fsm state data
---
adeterminize/src/fsm/FsmStructs.h | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/adeterminize/src/fsm/FsmStructs.h b/adeterminize/src/fsm/FsmStructs.h
index 19a67fe3a2..31f2aba6da 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) {}
};
--
GitLab