X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5f02257b1447bf5981110a73700dc9e3b2a91213..f9b13d923d31bb0336aeeaab6d5b7ba33812f3f7:/src/mc/mc_record.cpp

diff --git a/src/mc/mc_record.cpp b/src/mc/mc_record.cpp
index 0db71d0312..2e330d6eb6 100644
--- 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
 
 }