#ifndef _XBT_GRAPHXML_PARSE_H
#define _XBT_GRAPHXML_PARSE_H
-#include <stdio.h>
+#include <stdio.h> /* to have FILE */
#include "xbt/misc.h"
#include "xbt/graphxml.h"
XBT_PUBLIC(void) xbt_graph_parse_open(const char *file);
XBT_PUBLIC(void) xbt_graph_parse_close(void);
XBT_PUBLIC(void) xbt_graph_parse_reset_parser(void);
-XBT_PUBLIC(void) xbt_graph_parse_get_double(double *value,const char *string);
+XBT_PUBLIC(void) xbt_graph_parse_get_double(double *value,
+ const char *string);
/* Prototypes of the functions offered by flex */
XBT_PUBLIC(int) xbt_graph_parse_lex(void);