From a1b70d4280a783c2fb1e3ae43911d8bd44f0bc49 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 30 Mar 2016 16:23:36 +0200
Subject: [PATCH] [mc] Remove useless comment

---
 src/mc/LivenessChecker.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp
index 94a34ef133..a99d5e50ff 100644
--- 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));
     }
   }
-- 
2.30.2