X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/aa5a11b84f7953b5b030e9996c47b890b27785d6..5b9cf50be0a43c599b20b1ed28341971a571d70d:/include/xbt/ex.h

diff --git a/include/xbt/ex.h b/include/xbt/ex.h
index 92c87ff389..143a26e31c 100644
--- a/include/xbt/ex.h
+++ b/include/xbt/ex.h
@@ -21,15 +21,14 @@
    Instead, copy the parts we need (and fake when it's not there) */
 XBT_PUBLIC(int) backtrace (void **__array, int __size);
 
-/* required ISO-C standard facilities */
-#include <errno.h>
-#include <stdio.h>
-
 
 /*-*-* Emergency debuging: define this when the exceptions get crazy *-*-*/
 #undef __EX_MAYDAY
 
 #ifdef __EX_MAYDAY
+# include <stdio.h>
+#include <errno.h>
+
 XBT_PUBLIC(int) gras_os_getpid(void);
 #  define MAYDAY_SAVE(m)    printf("%d %s:%d save %p\n",                \
                                    gras_os_getpid(),__FILE__,__LINE__,  \