X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8d51fbcc2374aec305440e6456aee54c0a2df5d3..2558c8c0eb206ff353cb88672f5a90cd0e2562d3:/src/mc/mc_record.hpp diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp index 34ecd200d9..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,8 +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 @@ -35,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); } }