SD_workstation_get_power(hosts[i]));
props = SD_workstation_get_properties(hosts[i]);
if (SD_workstation_get_cores(hosts[i])>1) {
- printf(" cores=\"%d\"", SD_workstation_get_cores(hosts[i]));
+ printf(" core=\"%d\"", SD_workstation_get_cores(hosts[i]));
}
if (props && !xbt_dict_is_empty(props)) {
printf(">\n");