X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/77134b0e0b04578878e65eee2d2bae96adcf0b4b..2d49178883384c7161cdcb8b79ea74cc173e5114:/src/mc/Session.hpp

diff --git a/src/mc/Session.hpp b/src/mc/Session.hpp
index 063b4c14ba..8185115521 100644
--- a/src/mc/Session.hpp
+++ b/src/mc/Session.hpp
@@ -49,7 +49,7 @@ public:
   void restore_initial_state() const;
 
   /** Ask to the application to check for a deadlock. If so, do an error message and throw a DeadlockError. */
-  void check_deadlock();
+  void check_deadlock() const;
 
   void log_state() const;