From a9c3e4ca6f2592ff569f305c34508cd417e4dabd Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 18 Feb 2021 23:02:38 +0100
Subject: [PATCH] Typedef.

---
 src/mc/api.hpp          | 2 +-
 src/mc/udpor_global.hpp | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index 191a213bfd..b2a5e8c3ee 100644
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -25,7 +25,7 @@ struct s_transition_detail {
   RemotePtr<kernel::activity::ActivityImpl> comm_remote_addr {}; // the communication this transition concerns (to be used only for isend, ireceive, wait and test)
 };
 
-typedef std::unique_ptr<s_transition_detail> transition_detail_t;
+using transition_detail_t = std::unique_ptr<s_transition_detail>;
 
 /*
 ** This class aimes to implement FACADE APIs for simgrid. The FACADE layer sits between the CheckerSide
diff --git a/src/mc/udpor_global.hpp b/src/mc/udpor_global.hpp
index a1d65b7ca9..e49fcf0d9c 100644
--- a/src/mc/udpor_global.hpp
+++ b/src/mc/udpor_global.hpp
@@ -29,11 +29,11 @@ public:
   static EventSet plus(EventSet events, UnfoldingEvent* e);
 };
 
-typedef struct s_evset_in {
+struct s_evset_in_t {
   EventSet causuality_events;
   EventSet cause;
   EventSet ancestorSet;
-} s_evset_in_t;
+};
 
 class Configuration {
 public:
-- 
2.20.1