X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6042678d235eeddfa0b7120c17c7fb4362881a88..2558c8c0eb206ff353cb88672f5a90cd0e2562d3:/src/mc/mc_record.hpp diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp index 7cfea8fffc..df5285e695 100644 --- a/src/mc/mc_record.hpp +++ b/src/mc/mc_record.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2014-2018. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -17,7 +17,8 @@ #ifndef SIMGRID_MC_RECORD_HPP #define SIMGRID_MC_RECORD_HPP -#include "src/mc/Transition.hpp" +#include "src/mc/mc_config.hpp" +#include "src/mc/mc_forward.hpp" #include "xbt/base.h" #include @@ -34,7 +35,7 @@ XBT_PRIVATE std::string traceToString(simgrid::mc::RecordTrace const& trace); XBT_PRIVATE void dumpRecordPath(); XBT_PRIVATE void replay(RecordTrace const& trace); -XBT_PRIVATE void replay(std::string trace); +XBT_PRIVATE void replay(const std::string& trace); } }