- try {
- xbt_os_cputimer_start(parse_time);
- SD_create_environment(platformFile);
- xbt_os_cputimer_stop(parse_time);
- }
- catch (std::exception& e) {
- xbt_die("Error while loading %s: %s", platformFile, e.what());
- }
+ xbt_os_cputimer_start(parse_time);
+ SD_create_environment(platformFile);
+ xbt_os_cputimer_stop(parse_time);