From: degomme <augustin.degomme@unibas.ch>
Date: Thu, 14 Apr 2016 16:48:56 +0000 (+0200)
Subject: gcc 6 warning --
X-Git-Tag: v3_13~97^2~2^2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ff779de585a83e53518844ed3eb8cf8d7f90548f

gcc 6 warning --
---

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++;