#include "surf/surf.h"
#include "surf/maxmin.h"
-#include "surf/trace_mgr.h"
#include "xbt/log.h"
#include "surf/surfxml_parse.h"
#include "surf/random_mgr.h"
+#include "src/surf/trace_mgr.hpp"
#include "src/instr/instr_private.h"
#include "surf/surfxml_parse_values.h"
XBT_PRIVATE FILE *surf_fopen(const char *name, const char *mode);
-extern XBT_PRIVATE tmgr_history_t history;
-
/* The __surf_is_absolute_file_path() returns 1 if
* file_path is a absolute file path, in the other
* case the function returns 0.