#include "xbt/sysdep.h"
#include "xbt/xbt_portability.h" /* private */
#include "xbt/log.h"
-#include "xbt/error.h"
#include "portable.h"
+/** @brief like free
+ @hideinitializer */
+XBT_PUBLIC(void) xbt_free_f(void* p)
+{
+ free(p);
+}
+
+
/* TSC (tick-level) timers are said to be unreliable on SMP hosts and thus
disabled in SDL source code */