move the checker algorithms to their own directory

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

diff --git a/src/mc/Checker.cpp b/src/mc/checker/Checker.cpp
similarity index 95%
rename from src/mc/Checker.cpp
rename to src/mc/checker/Checker.cpp
index 6ae0aae..a685913 100644 (file)
--- a/src/mc/Checker.cpp
+++ b/src/mc/checker/Checker.cpp
@@ -8,7 +8,7 @@
 
 #include <xbt/asserts.h>
 
-#include "src/mc/Checker.hpp"
+#include "src/mc/checker/Checker.hpp"
 #include "src/mc/ModelChecker.hpp"
 
 namespace simgrid {