Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add explicit keyword to one-parameter constructors.
[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.cpp
index 7fb06e5f041e4e46d775f6e289569cb79d8b182d..955a2f2cf1acabb6fa9575aa03a9c274e6553272 100644 (file)
@@ -316,7 +316,6 @@ std::vector<std::string> CommunicationDeterminismChecker::getTextualTrace() // o
 
 void CommunicationDeterminismChecker::logState() // override
 {
-  Checker::logState();
   if (_sg_mc_comms_determinism && not this->recv_deterministic && this->send_deterministic) {
     XBT_INFO("******************************************************");
     XBT_INFO("**** Only-send-deterministic communication pattern ****");