From ff980590b46975003092ac088ed823e4b3a38591 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 11 Apr 2014 11:11:48 +0200 Subject: [PATCH] Cosmetics: XBT_PUBLIC is not needed here. --- src/xbt/xbt_main.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c index 4616949b7c..615ad8d16b 100644 --- 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 */ -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 */ -XBT_PUBLIC(void) xbt_free_ref(void *d) +void xbt_free_ref(void *d) { free(*(void **) d); } -- 2.20.1