Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Big bang in MC: app's observers are serialized, to become transitions in checker
[simgrid.git] / src / kernel / activity / MailboxImpl.cpp
index 4c672cb..febedbe 100644 (file)
@@ -18,6 +18,8 @@ namespace simgrid {
 namespace kernel {
 namespace activity {
 
+unsigned MailboxImpl::next_id_ = 0;
+
 /** @brief set the receiver of the mailbox to allow eager sends
  *  @param actor The receiving dude
  */