A few more sonar smells.

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

diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp
index 1f4ec512b5cbb0edd24674963c8765231b6bd2d4..e63da6106a2a2a01a04699612a0e4aa0d4fb66ea 100644 (file)
--- a/src/mc/mc_record.hpp
+++ b/src/mc/mc_record.hpp
@@ -39,14 +39,12 @@ public:
   void push_back(Transition* t) { transitions_.push_back(t); }
 
   /** Replay all transitions of a trace */
-  void replay();
+  void replay() const;
 
   /** Parse and replay a string representation */
   static void replay(const std::string& trace);
 };
 
-XBT_PRIVATE void dumpRecordPath();
-
 }
 }