X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c0afa7c6bc6b4f8a6e31fc6e1c6ca57a701ebe4b..58d95ccaa27bb984b83885dc0bd37d945d946944:/src/mc/CommunicationDeterminismChecker.hpp

diff --git a/src/mc/CommunicationDeterminismChecker.hpp b/src/mc/CommunicationDeterminismChecker.hpp
index d23c95c42f..062348da67 100644
--- a/src/mc/CommunicationDeterminismChecker.hpp
+++ b/src/mc/CommunicationDeterminismChecker.hpp
@@ -18,6 +18,7 @@ public:
   CommunicationDeterminismChecker(Session& session);
   ~CommunicationDeterminismChecker();
   int run() override;
+  RecordTrace getRecordTrace() override;
 private:
   void prepare();
   int main();