Prototypes to some *printf functions in public interface (badly placed, but works...

[simgrid.git] / include / xbt / sysdep.h

diff --git a/include/xbt/sysdep.h b/include/xbt/sysdep.h
index 4bd3cea2848eb3299bbc9639d95444259db95dfd..9a5983eefa5c2f34d0c6c19b464a1bae2fb1bc4e 100644 (file)
--- a/include/xbt/sysdep.h
+++ b/include/xbt/sysdep.h
@@ -91,12 +91,9 @@ static inline void *xbt_realloc(void*p,int s){
 
 /** @} */  
 
-/** @brief get time in seconds 
-
-  * gives  the  number  of  seconds since the Epoch (00:00:00 UTC, January 1, 1970).
-  * Most users should use gras_os_time and should not use this function unless 
-    they really know what they are doing. */
-double xbt_os_time(void);
+/* FIXME: better place? */
+int vasprintf  (char **ptr, const char *fmt, va_list ap);
+char *bprintf(const char*fmt, ...);
 
 END_DECL()