Cosmetics: XBT_PUBLIC is not needed here.

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 4616949..615ad8d 100644 (file)
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -159,13 +159,13 @@ void xbt_exit()
 
 /* these two functions belong to xbt/sysdep.h, which have no corresponding .c file */
 /** @brief like free, but you can be sure that it is a function  */
 
 /* these two functions belong to xbt/sysdep.h, which have no corresponding .c file */
 /** @brief like free, but you can be sure that it is a function  */

-XBT_PUBLIC(void) xbt_free_f(void *p)
+void xbt_free_f(void *p)

 {
   free(p);
 }
 
 /** @brief should be given a pointer to pointer, and frees the second one */
 {
   free(p);
 }
 
 /** @brief should be given a pointer to pointer, and frees the second one */

-XBT_PUBLIC(void) xbt_free_ref(void *d)
+void xbt_free_ref(void *d)

 {
   free(*(void **) d);
 }
 {
   free(*(void **) d);
 }