[mc] Remove useless comment

diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp
index 94a34ef13305cf37e920e79d25fc524eadcef384..a99d5e50ff4cfb4d57a936adee8c9fcae1b146c0 100644 (file)
--- a/src/mc/LivenessChecker.cpp
+++ b/src/mc/LivenessChecker.cpp
@@ -319,8 +319,6 @@ RecordTrace LivenessChecker::getRecordTrace() // override
     if (req && req->call != SIMCALL_NONE) {
       smx_process_t issuer = MC_smx_simcall_get_issuer(req);
       const int pid = issuer->pid;
-
-      // Serialization the (pid, value) pair:
       res.push_back(RecordTraceElement(pid, value));
     }
   }