model-checker : rename file mc_dfs -> mc_liveness

[simgrid.git] / src / simix / smx_context_sysv.c

diff --git a/src/simix/smx_context_sysv.c b/src/simix/smx_context_sysv.c
index caa6d45..4d30329 100644 (file)
--- a/src/simix/smx_context_sysv.c
+++ b/src/simix/smx_context_sysv.c
@@ -68,7 +68,6 @@ void SIMIX_ctx_sysv_factory_init(smx_context_factory_t *factory)
     parmap = xbt_parmap_new(2);
     (*factory)->runall = smx_ctx_sysv_runall_parallel;
     (*factory)->self = smx_ctx_sysv_self_parallel;
-    (*factory)->get_thread_id = smx_ctx_sysv_get_thread_id;
 #else
     THROWF(arg_error, 0, "No thread support for parallel context execution");
 #endif
@@ -241,8 +240,3 @@ smx_context_t smx_ctx_sysv_self_parallel(void)
   return self_context ? self_context : (smx_context_t) maestro_context;*/
   return SIMIX_context_get_current();
 }
-
-int smx_ctx_sysv_get_thread_id(void)
-{
-  return (int)(unsigned long)xbt_os_thread_get_extra_data();
-}