From 49c5a6cf5ad0b5cab623499ba1b4505cd367e452 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 23 Jun 2022 10:20:28 +0200
Subject: [PATCH] Missing include (for uintptr_t).

---
 src/mc/transition/TransitionComm.hpp    | 1 +
 src/mc/transition/TransitionSynchro.hpp | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/src/mc/transition/TransitionComm.hpp b/src/mc/transition/TransitionComm.hpp
index e5d0a7aa1f..5a8a1e6488 100644
--- a/src/mc/transition/TransitionComm.hpp
+++ b/src/mc/transition/TransitionComm.hpp
@@ -9,6 +9,7 @@
 #include "src/kernel/actor/SimcallObserver.hpp"
 #include "src/mc/transition/Transition.hpp"
 
+#include <cstdint>
 #include <sstream>
 #include <string>
 
diff --git a/src/mc/transition/TransitionSynchro.hpp b/src/mc/transition/TransitionSynchro.hpp
index 9f53a3a767..6a4d51ea6a 100644
--- a/src/mc/transition/TransitionSynchro.hpp
+++ b/src/mc/transition/TransitionSynchro.hpp
@@ -8,6 +8,8 @@
 
 #include "src/mc/transition/Transition.hpp"
 
+#include <cstdint>
+
 namespace simgrid::mc {
 
 class BarrierTransition : public Transition {
-- 
2.20.1