#include "xbt/ex.h"
#include "portable.h"
-#include "xbt/synchro.h" /* This module */
#include "xbt/xbt_os_thread.h" /* The implementation we use */
/* the implementation would be cleaner (and faster) with ELF symbol aliasing */
{
xbt_thread_t t = (xbt_thread_t) p;
XBT_DEBUG("I'm thread %p", p);
- (*t->code) (t->userparam);
+ t->code(t->userparam);
return NULL;
}