[mc] Move initial state into Session

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

diff --git a/src/mc/Checker.cpp b/src/mc/Checker.cpp
index 1fefd9d..6ae0aae 100644 (file)
--- a/src/mc/Checker.cpp
+++ b/src/mc/Checker.cpp
@@ -37,5 +37,10 @@ std::vector<std::string> Checker::getTextualTrace()
   return {};
 }
 
+// virtual
+void Checker::logState()
+{
+}
+
 }
 }