- xbt_assert(!parse_status, "Parse error at %s:%d", file,surf_parse_lineno);
- }
- catch (xbt_ex& e) {
- XBT_ERROR("Unrecoverable error at %s:%d. The full exception stack follows, in case it helps you to diagnose the problem.",
- file, surf_parse_lineno);
+ xbt_assert(not parse_status, "Parse error at %s:%d", file.c_str(), surf_parse_lineno);
+ } catch (const xbt_ex&) {
+ XBT_ERROR(
+ "Unrecoverable error at %s:%d. The full exception stack follows, in case it helps you to diagnose the problem.",
+ file.c_str(), surf_parse_lineno);