gcc 6 warning --

diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index e223f5e..a92efbe 100644 (file)
--- a/src/mc/SafetyChecker.cpp
+++ b/src/mc/SafetyChecker.cpp
@@ -298,7 +298,7 @@ void SafetyChecker::restoreState()
   for (std::unique_ptr<simgrid::mc::State> const& state : stack_) {
     if (state == stack_.back())
       break;
-      session->execute(state->transition);
+    session->execute(state->transition);
     /* Update statistics */
     mc_model_checker->visited_states++;
     mc_model_checker->executed_transitions++;