XBT_PUBLIC(void) surf_parse_init_callbacks(void);
XBT_PUBLIC(void) surf_parse_reset_callbacks(void);
XBT_PUBLIC(void) surf_parse_free_callbacks(void);
-XBT_PUBLIC(void) surf_parse_error(char *msg);
+XBT_PUBLIC(void) surf_parse_error(const char *msg) _XBT_GNUC_NORETURN;
XBT_PUBLIC(double) surf_parse_get_double(const char *string);
XBT_PUBLIC(int) surf_parse_get_int(const char *string);
XBT_PUBLIC(void) surf_parse_models_setup(void);
/*
* Helping functions
*/
-void surf_parse_error(char *msg) {
+void surf_parse_error(const char *msg) {
xbt_die("Parse error on line %d: %s\n", surf_parse_lineno, msg);
}