X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/324f5f6d1ff9d97894561e04693fe4fb76a573d7..cbbb07080a0f34d57baf2bf136f0b17954947b89:/src/mc/SafetyChecker.hpp

diff --git a/src/mc/SafetyChecker.hpp b/src/mc/SafetyChecker.hpp
index 3c559a73f7..48edb7b23e 100644
--- a/src/mc/SafetyChecker.hpp
+++ b/src/mc/SafetyChecker.hpp
@@ -19,10 +19,11 @@ public:
   SafetyChecker(Session& session);
   ~SafetyChecker();
   int run() override;
+  RecordTrace getRecordTrace() override;
+  std::vector<std::string> getTextualTrace() override;
 private:
   // Temp
   void init();
-  void pre();
 };
 
 }