X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/29a3b2869c0075fc75e8ccc66fc1d9c4c8bf6a85..2558c8c0eb206ff353cb88672f5a90cd0e2562d3:/src/mc/mc_record.cpp diff --git a/src/mc/mc_record.cpp b/src/mc/mc_record.cpp index 14de45f5e7..dd19a66a5d 100644 --- a/src/mc/mc_record.cpp +++ b/src/mc/mc_record.cpp @@ -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. */ @@ -9,7 +9,6 @@ #include "src/mc/Transition.hpp" #include "src/mc/mc_base.h" #include "src/mc/mc_replay.hpp" -#include "src/simix/ActorImpl.hpp" #if SIMGRID_HAVE_MC #include "src/mc/checker/Checker.hpp" @@ -48,7 +47,7 @@ void replay(RecordTrace const& trace) } } -void replay(std::string path_string) +void replay(const std::string& path_string) { simgrid::mc::processes_time.resize(SIMIX_process_get_maxpid()); simgrid::mc::RecordTrace trace = simgrid::mc::parseRecordTrace(path_string.c_str());