#include "xbt/swag.h"
#include "simix/datatypes.h"
+#include "gras_config.h"
SG_BEGIN_DECL()
/******************************** Context *************************************/
extern smx_ctx_factory_initializer_t smx_factory_initializer_to_use;
extern char* smx_context_factory_name;
extern int smx_context_stack_size;
+
+#ifdef CONTEXT_THREADS
+extern __thread smx_context_t smx_current_context;
+#else
extern smx_context_t smx_current_context;
+#endif
/* *********************** */
/* Context type definition */