Merge branch 'add_missing_comm_python_bindings' into 'master'

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

diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp
index 5b162d6e56cd935e5f221b2d76663532f8abd8ea..e63da6106a2a2a01a04699612a0e4aa0d4fb66ea 100644 (file)
--- a/src/mc/mc_record.hpp
+++ b/src/mc/mc_record.hpp
@@ -39,7 +39,7 @@ 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);