New function: xbt_os_timer_resume() to restart a timer w/o resetting it.

[simgrid.git] / src / xbt_modinter.h

diff --git a/src/xbt_modinter.h b/src/xbt_modinter.h
index 2e2d829..9e0892f 100644 (file)
--- a/src/xbt_modinter.h
+++ b/src/xbt_modinter.h
@@ -31,7 +31,7 @@ void xbt_trp_postexit(void);
 void xbt_datadesc_preinit(void);
 void xbt_datadesc_postexit(void);
 
-void mmalloc_preinit(void);
+void *mmalloc_preinit(void);
 void mmalloc_postexit(void);