Don't store user pointers

[simgrid.git] / src / simix / smurf_private.h

diff --git a/src/simix/smurf_private.h b/src/simix/smurf_private.h
index f150f85..f9659fc 100644 (file)
--- a/src/simix/smurf_private.h
+++ b/src/simix/smurf_private.h
@@ -474,10 +474,11 @@ void SIMIX_request_destroy(void);
 void SIMIX_request_push(void);
 smx_req_t SIMIX_request_pop(void);
 void SIMIX_request_answer(smx_req_t);
-void SIMIX_request_pre(smx_req_t);
+void SIMIX_request_pre(smx_req_t, unsigned int);
 void SIMIX_request_post(smx_action_t);
 int SIMIX_request_is_visible(smx_req_t req);
 int SIMIX_request_is_enabled(smx_req_t req);
+int SIMIX_request_is_enabled_by_idx(smx_req_t req, unsigned int idx);
 XBT_INLINE smx_req_t SIMIX_req_mine(void);
 
 #endif