Dockerfile: fix a syntax error

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

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index 1e9a58a0264a7e4e076ebf4378fdfc2a70d2785b..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:
-  int pid_ = 0;
+  aid_t aid_ = 0;
 
   /* Which transition was executed for this simcall
    *