printf("<?xml version='1.0'?>\n");
printf("<!DOCTYPE platform SYSTEM \"simgrid.dtd\">\n");
- printf("<platform version=\"2\">\n");
+ printf("<platform version=\"3\">\n");
printf("<AS id=\"AS0\" routing=\"Full\">\n");
totalHosts = SD_workstation_get_number();