main_get_timer() made public.

[libucw.git] / lib / mempool.h

diff --git a/lib/mempool.h b/lib/mempool.h
index 98d46e57d620bdb8f4cb03816c90eec556f83eb5..95727688ac9b8be0302d0fae414ce04b984569a9 100644 (file)
--- a/lib/mempool.h
+++ b/lib/mempool.h
@@ -63,6 +63,7 @@ mp_end_string(struct mempool *p, void *stop)
 /* mempool-str.c */
 
 char *mp_strdup(struct mempool *, char *);
+void *mp_memdup(struct mempool *, void *, uns);
 char *mp_multicat(struct mempool *, ...);
 static inline char *
 mp_strcat(struct mempool *mp, char *x, char *y)
@@ -72,7 +73,7 @@ mp_strcat(struct mempool *mp, char *x, char *y)
 
 /* mempool-fmt.c */
 
-char *mp_printf(struct mempool *p, char *fmt, ...);
+char *mp_printf(struct mempool *p, char *fmt, ...) FORMAT_CHECK(printf,2,3);
 char *mp_vprintf(struct mempool *p, char *fmt, va_list args);
 
 #endif