Merge pull request #193 from Takishipp/signals

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

diff --git a/src/mc/checker/Checker.hpp b/src/mc/checker/Checker.hpp
index 4575439..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;
@@ -43,7 +43,7 @@ public:
   virtual ~Checker();
 
   /** Main function of this algorithm */
-  virtual int run() = 0;
+  virtual void run() = 0;
 
   /* These methods are callbacks called by the model-checking engine
    * to get and display information about the current state of the