CommWaitTransition mailbox is now valid

[simgrid.git] / src / mc / mc_record.cpp

diff --git a/src/mc/mc_record.cpp b/src/mc/mc_record.cpp
index 0db71d0312c1be6644307ab5c3c405bbf4ed19ca..2e330d6eb669f3764eed336fa65b889b9514d1fb 100644 (file)
--- a/src/mc/mc_record.cpp
+++ b/src/mc/mc_record.cpp
@@ -91,11 +91,6 @@ std::string simgrid::mc::RecordTrace::to_string() const
   return stream.str();
 }
 
-void dumpRecordPath()
-{
-  XBT_INFO("Path = %s", mc_model_checker->getChecker()->get_record_trace().to_string().c_str());
-}
-
 #endif
 
 }