try to fix MC build

void suppression was more picky than expected in XBT

diff --git a/src/xbt_modinter.h b/src/xbt_modinter.h
index 0d04e83..4f421cc 100644 (file)
--- a/src/xbt_modinter.h
+++ b/src/xbt_modinter.h
@@ -28,8 +28,8 @@ void xbt_dict_postexit(void);
 void xbt_os_thread_mod_preinit(void);
 void xbt_os_thread_mod_postexit(void);
 
-void *mmalloc_preinit();
-void mmalloc_postexit();
+void *mmalloc_preinit(void);
+void mmalloc_postexit(void);
 
 extern int smx_cleaned;
 extern int xbt_initialized;