Struct xbt_os_thread_t is not used anymore.

diff --git a/src/xbt/xbt_os_thread.c b/src/xbt/xbt_os_thread.c
index dc72329..e7a5c99 100644 (file)
--- a/src/xbt/xbt_os_thread.c
+++ b/src/xbt/xbt_os_thread.c
@@ -38,12 +38,6 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os, xbt, "Synchronization mechanism (OS-level)");
 
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os, xbt, "Synchronization mechanism (OS-level)");
 

-typedef struct xbt_os_thread_ {
-  pthread_t t;
-  void *param;
-  pvoid_f_pvoid_t start_routine;
-} s_xbt_os_thread_t;
-

 /****** mutex related functions ******/
 typedef struct xbt_os_mutex_ {
   pthread_mutex_t m;
 /****** mutex related functions ******/
 typedef struct xbt_os_mutex_ {
   pthread_mutex_t m;