X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/25051824a328a46c0f91d23b784cb2710bab0b02..f6d4ca5d06bb0d90e4d5505d8b289e2a1c8a39d1:/src/mc/checker/SafetyChecker.hpp

diff --git a/src/mc/checker/SafetyChecker.hpp b/src/mc/checker/SafetyChecker.hpp
index 640d30a746..ffc27f1cfe 100644
--- a/src/mc/checker/SafetyChecker.hpp
+++ b/src/mc/checker/SafetyChecker.hpp
@@ -23,7 +23,7 @@ namespace mc {
 class XBT_PRIVATE SafetyChecker : public Checker {
   simgrid::mc::ReductionMode reductionMode_ = simgrid::mc::ReductionMode::unset;
 public:
-  SafetyChecker(Session& session);
+  explicit SafetyChecker(Session& session);
   ~SafetyChecker() = default;
   void run() override;
   RecordTrace getRecordTrace() override;