Merge branch 'master' into fix/execute_benched

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

diff --git a/src/mc/checker/Checker.cpp b/src/mc/checker/Checker.cpp
index 1476c24..6f44f0c 100644 (file)
--- a/src/mc/checker/Checker.cpp
+++ b/src/mc/checker/Checker.cpp
@@ -21,9 +21,5 @@ Checker::Checker(Session& session) : session_(&session)
   mc_model_checker->setChecker(this);
 }
 
-Checker::~Checker()
-{
-}
-
 }
 }