- if (arg) {
- res->data = (void *) fopen(arg, "w");
- if (res->data == nullptr)
- xbt_die("Cannot open file: %s: %s", arg, strerror(errno));
- } else {
- res->data = (void *) stderr;
- }
+ res->data = static_cast<void*>(fopen(arg, "w"));
+ if (res->data == nullptr)
+ xbt_die("Cannot open file: %s: %s", arg, strerror(errno));