X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c14151ed9615b91eac7c82f551b8a5b5e27dea1e..3ebad857344d7658054328dabe709e006bff654a:/src/mc/explo/DFSExplorer.cpp

diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp
index ba28f03825..373d6e8a31 100644
--- a/src/mc/explo/DFSExplorer.cpp
+++ b/src/mc/explo/DFSExplorer.cpp
@@ -171,7 +171,6 @@ void DFSExplorer::run()
 
       mc_model_checker->dot_output("\"%ld\" -> \"%ld\" [%s];\n", state->get_num(), next_state->get_num(),
                                    state->get_transition()->dot_string().c_str());
-
     } else
       mc_model_checker->dot_output("\"%ld\" -> \"%ld\" [%s];\n", state->get_num(),
                                    visited_state_->original_num == -1 ? visited_state_->num