From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 14 Apr 2016 14:09:40 +0000 (+0200)
Subject: [mc] Fix this != nullptr remaining from previous refactoring
X-Git-Tag: v3_13~97^2~2^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/30aafed5b1b68a0248307e0f2161d7d838e562e3

[mc] Fix this != nullptr remaining from previous refactoring
---

diff --git a/src/mc/CommunicationDeterminismChecker.cpp b/src/mc/CommunicationDeterminismChecker.cpp
index 0288cfda09..e183c7d07c 100644
--- a/src/mc/CommunicationDeterminismChecker.cpp
+++ b/src/mc/CommunicationDeterminismChecker.cpp
@@ -345,10 +345,8 @@ void CommunicationDeterminismChecker::logState() // override
   XBT_INFO("Expanded states = %lu", expandedStatesCount_);
   XBT_INFO("Visited states = %lu", mc_model_checker->visited_states);
   XBT_INFO("Executed transitions = %lu", mc_model_checker->executed_transitions);
-  if (this != nullptr)
-    XBT_INFO("Send-deterministic : %s",
-      !this->send_deterministic ? "No" : "Yes");
-  if (this != nullptr && _sg_mc_comms_determinism)
+  XBT_INFO("Send-deterministic : %s", !this->send_deterministic ? "No" : "Yes");
+  if (_sg_mc_comms_determinism)
     XBT_INFO("Recv-deterministic : %s",
       !this->recv_deterministic ? "No" : "Yes");
 }