cosmetics in doc

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

diff --git a/src/mc/Checker.cpp b/src/mc/Checker.cpp
index 1fefd9d3df3db6ba43d7b0afc27671f016f78695..6ae0aae9468607426e42a9e21733f5a45fc4fb6f 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()
+{
+}
+
 }
 }