/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
+
#include <stdarg.h>
+#include "gras_config.h" /* to get a workgin stdarg.h */
#include <ctype.h>
#include "xbt_modinter.h"