CommWaitTransition mailbox is now valid

[simgrid.git] / src / mc / checker / SafetyChecker.hpp

diff --git a/src/mc/checker/SafetyChecker.hpp b/src/mc/checker/SafetyChecker.hpp
index f554b06b375fc5b7d153060f1989eb75943ab2f2..9a934a88eaf8d53b1a24d31922dcec4e356af7f9 100644 (file)
--- a/src/mc/checker/SafetyChecker.hpp
+++ b/src/mc/checker/SafetyChecker.hpp
@@ -38,7 +38,6 @@ private:
   std::list<std::unique_ptr<State>> stack_;
   VisitedStates visited_states_;
   std::unique_ptr<VisitedState> visited_state_;
-  unsigned long expanded_states_count_ = 0;
 };
 
 } // namespace mc