From ff779de585a83e53518844ed3eb8cf8d7f90548f Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Thu, 14 Apr 2016 18:48:56 +0200
Subject: [PATCH] gcc 6 warning --

---
 src/mc/SafetyChecker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index e223f5e4e4..a92efbe70b 100644
--- 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++;
-- 
2.20.1