#include "xbt/sysdep.h"
#include "xbt/log.h"
-#include "xbt/str.h"
#include "src/surf/surf_interface.hpp"
#include "src/surf/trace_mgr.hpp"
-#include "surf_private.h"
+#include "surf_private.hpp"
#include "xbt/RngStream.h"
#include <boost/algorithm/string.hpp>
#include <boost/algorithm/string/join.hpp>
void tmgr_finalize()
{
- for (auto kv : trace_list)
+ for (auto const& kv : trace_list)
delete kv.second;
trace_list.clear();
}