Merge pull request #188 from Takishipp/clean_events

[simgrid.git] / src / mc / checker / Checker.hpp

diff --git a/src/mc/checker/Checker.hpp b/src/mc/checker/Checker.hpp
index 3b7079f..ce27ab2 100644 (file)
--- a/src/mc/checker/Checker.hpp
+++ b/src/mc/checker/Checker.hpp
@@ -34,7 +34,7 @@ namespace mc {
 class Checker {
   Session* session_;
 public:
-  Checker(Session& session);
+  explicit Checker(Session& session);
 
   // No copy:
   Checker(Checker const&) = delete;