#include <stdio.h>
#include "xbt/misc.h"
+#include "xbt/function_types.h"
#include "surf/surfxml_parse.h"
#include "surf/trace_mgr.h"
-void surf_parse_get_trace(tmgr_trace_t *trace, const char *string);
+void surf_parse_get_trace(tmgr_trace_t * trace, const char *string);
#endif