Actor's ID should be a long, and should be named AID

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

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index 1e9a58a..a8a151e 100644 (file)
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -22,7 +22,7 @@ namespace mc {
  */
 class Transition {
 public:
-  int pid_ = 0;
+  long aid_ = 0;
 
   /* Which transition was executed for this simcall
    *