static void *
__context_wrapper(void* c) {
- xbt_context_t context = (xbt_context_t)c;
+ xbt_context_t context = current_context;
#ifdef CONTEXT_THREADS
+ context = (xbt_context_t)c;
context->thread = xbt_thread_self();
DEBUG3("**[ctx:%p;self:%p]** Lock creation_mutex %p ****",context,(void*)xbt_thread_self(), creation_mutex);