another useless thread function dies

diff --git a/include/xbt/xbt_os_thread.h b/include/xbt/xbt_os_thread.h
index fb39e5b..33bb3e6 100644 (file)
--- a/include/xbt/xbt_os_thread.h
+++ b/include/xbt/xbt_os_thread.h
@@ -35,7 +35,6 @@ XBT_PUBLIC(void) xbt_os_thread_detach(xbt_os_thread_t thread);
 
 XBT_PUBLIC(xbt_os_thread_t) xbt_os_thread_self(void);
 XBT_PUBLIC(const char *) xbt_os_thread_self_name(void);
 
 XBT_PUBLIC(xbt_os_thread_t) xbt_os_thread_self(void);
 XBT_PUBLIC(const char *) xbt_os_thread_self_name(void);

-XBT_PUBLIC(const char *) xbt_os_thread_name(xbt_os_thread_t);

 XBT_PUBLIC(void) xbt_os_thread_set_extra_data(void *data);
 XBT_PUBLIC(void *) xbt_os_thread_get_extra_data(void);
 XBT_PUBLIC(void) xbt_os_thread_key_create(xbt_os_thread_key_t* key);
 XBT_PUBLIC(void) xbt_os_thread_set_extra_data(void *data);
 XBT_PUBLIC(void *) xbt_os_thread_get_extra_data(void);
 XBT_PUBLIC(void) xbt_os_thread_key_create(xbt_os_thread_key_t* key);

diff --git a/src/xbt/xbt_os_thread.c b/src/xbt/xbt_os_thread.c
index c697ae7..1003575 100644 (file)
--- a/src/xbt/xbt_os_thread.c
+++ b/src/xbt/xbt_os_thread.c
@@ -254,11 +254,6 @@ void xbt_os_thread_setguardsize(int guard_size)
 #endif
 }
 
 #endif
 }
 

-const char *xbt_os_thread_name(xbt_os_thread_t t)
-{
-  return t->name;
-}
-

 const char *xbt_os_thread_self_name(void)
 {
   xbt_os_thread_t me = xbt_os_thread_self();
 const char *xbt_os_thread_self_name(void)
 {
   xbt_os_thread_t me = xbt_os_thread_self();