Missing include (for uintptr_t).

diff --git a/src/mc/transition/TransitionComm.hpp b/src/mc/transition/TransitionComm.hpp
index e5d0a7a..5a8a1e6 100644 (file)
--- 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 9f53a3a..6a4d51e 100644 (file)
--- 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 {