use a nice va_copy if none was provided by the system

[simgrid.git] / src / xbt / snprintf.c

diff --git a/src/xbt/snprintf.c b/src/xbt/snprintf.c
index 4f15618..b6f7b75 100644 (file)
--- a/src/xbt/snprintf.c
+++ b/src/xbt/snprintf.c
@@ -323,6 +323,7 @@
 #include <stdlib.h>
 #include <stdio.h>
 #include <stdarg.h>
+#include "gras_config.h" /* to get a working stdarg.h */
 #include <assert.h>
 #include <errno.h>