The event ID of the envelope is now always initialized with a sequential number.
[charm.git] / src / ck-core / ck.C
index e257f55972fe6d5c7944012b0c1d4a08894e003b..40b6ff5d394962c7723781cb095015877552a020 100644 (file)
@@ -1841,6 +1841,9 @@ printf("[%d] DELETE!\n", CkMyPe());
 //------------------- Message Watcher (record/replay) ----------------
 
 #include "crc32.h"
+
+CkpvDeclare(int, envelopeEventID);
+
 CkMessageWatcher::~CkMessageWatcher() {}
 
 class CkMessageRecorder : public CkMessageWatcher {