From 3ebad857344d7658054328dabe709e006bff654a Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 10 Aug 2022 17:05:41 +0200
Subject: [PATCH] Kill redundant blank lines (codefactor.io)

[ci-skip]
---
 src/mc/api/ActorState.hpp          | 1 -
 src/mc/explo/DFSExplorer.cpp       | 1 -
 src/smpi/internals/smpi_replay.cpp | 1 -
 3 files changed, 3 deletions(-)

diff --git a/src/mc/api/ActorState.hpp b/src/mc/api/ActorState.hpp
index 79cbe420ef..6538effa7e 100644
--- a/src/mc/api/ActorState.hpp
+++ b/src/mc/api/ActorState.hpp
@@ -16,7 +16,6 @@ namespace simgrid::mc {
  *   an actor cannot have more than one enabled transition at a given time.
  */
 class ActorState {
-
   /* Possible exploration status of an actor transition in a state.
    * Either the checker did not consider the transition, or it was considered and still to do, or considered and done.
    */
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
diff --git a/src/smpi/internals/smpi_replay.cpp b/src/smpi/internals/smpi_replay.cpp
index 11c26d97eb..8c6a3a567b 100644
--- a/src/smpi/internals/smpi_replay.cpp
+++ b/src/smpi/internals/smpi_replay.cpp
@@ -541,7 +541,6 @@ void SendRecvAction::kernel(simgrid::xbt::ReplayAction&)
   TRACE_smpi_recv(src_traced, my_proc_id, recvtag);
   TRACE_smpi_comm_out(my_proc_id);
   XBT_DEBUG("Exits SendRecv");
-
 }
 
 void ComputeAction::kernel(simgrid::xbt::ReplayAction&)
-- 
2.20.1