Use type aid_t for actor ids.

[simgrid.git] / src / mc / Transition.hpp

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index a8a151eea4a633b21d7ad66690f6fdf8b98209ba..17754e6cbeb7f6cd7c8271804662494f36ba95a7 100644 (file)
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -7,6 +7,7 @@
 #ifndef SIMGRID_MC_TRANSITION_HPP
 #define SIMGRID_MC_TRANSITION_HPP
 
+#include "simgrid/forward.h" // aid_t
 #include <string>
 
 namespace simgrid {
@@ -22,7 +23,7 @@ namespace mc {
  */
 class Transition {
 public:
-  long aid_ = 0;
+  aid_t aid_ = 0;
 
   /* Which transition was executed for this simcall
    *