From 47130afb26809fc8c0e3a77cd168874a23abb62d Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 11 Apr 2023 15:26:28 +0200
Subject: [PATCH] Whitespace cleanup (codefactor.io).

---
 src/mc/api/State.cpp          | 1 -
 src/mc/remote/CheckerSide.cpp | 2 --
 2 files changed, 3 deletions(-)

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index b5f8eba6a3..58f7d28d8c 100644
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -40,7 +40,6 @@ State::State(RemoteApp& remote_app) : num_(++expended_states_)
 State::State(RemoteApp& remote_app, std::shared_ptr<State> parent_state)
     : num_(++expended_states_), parent_state_(parent_state)
 {
-
   if (_sg_mc_strategy == "none")
     strategy_ = std::make_shared<BasicStrategy>();
   if (_sg_mc_strategy == "nb_wait")
diff --git a/src/mc/remote/CheckerSide.cpp b/src/mc/remote/CheckerSide.cpp
index 1a974f0af8..0b543d5f72 100644
--- a/src/mc/remote/CheckerSide.cpp
+++ b/src/mc/remote/CheckerSide.cpp
@@ -131,7 +131,6 @@ void CheckerSide::setup_events(bool socket_only)
         auto checker = static_cast<simgrid::mc::CheckerSide*>(arg);
         if (events == EV_READ) {
           do {
-
             std::array<char, MC_MESSAGE_LENGTH> buffer;
             ssize_t size = checker->get_channel().receive(buffer.data(), buffer.size(), MSG_DONTWAIT);
             if (size == -1) {
@@ -489,7 +488,6 @@ void CheckerSide::handle_waitpid()
     }
 
   } else { // Ask our proxy to wait for us
-
     s_mc_message_int_t request = {};
     request.type               = MessageType::WAIT_CHILD;
     request.value              = pid_;
-- 
2.20.1