From 6362f35b1a51e3ac8b3d4e5607bf6e3ec305e530 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 10 Jul 2023 11:32:53 +0200
Subject: [PATCH 1/1] Cosmetics (codefactor.io).

---
 src/mc/transition/Transition.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mc/transition/Transition.hpp b/src/mc/transition/Transition.hpp
index 281675f420..4bdf7d262b 100644
--- a/src/mc/transition/Transition.hpp
+++ b/src/mc/transition/Transition.hpp
@@ -28,6 +28,7 @@ class Transition {
   static unsigned long replayed_transitions_;
 
   friend State; // FIXME remove this once we have a proper class to handle the statistics
+
 public:
   /* Ordering is important here. depends() implementations only consider subsequent types in this ordering */
   XBT_DECLARE_ENUM_CLASS(Type, RANDOM, ACTOR_JOIN, /* First because indep with anybody including themselves */
-- 
2.20.1