X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6fb292d7e99020dc305b845e0a2284a9d811a4b2..66013c251781d4c2e926377d2e492334aa6e47ea:/src/mc/checker/SafetyChecker.hpp

diff --git a/src/mc/checker/SafetyChecker.hpp b/src/mc/checker/SafetyChecker.hpp
index 4233c36e30..6aa9ee8d14 100644
--- a/src/mc/checker/SafetyChecker.hpp
+++ b/src/mc/checker/SafetyChecker.hpp
@@ -23,7 +23,7 @@ class XBT_PRIVATE SafetyChecker : public Checker {
   ReductionMode reductionMode_ = ReductionMode::unset;
 
 public:
-  explicit SafetyChecker(Session& session);
+  explicit SafetyChecker();
   ~SafetyChecker() override = default;
   void run() override;
   RecordTrace get_record_trace() override;