Use swags to handle task states and change structure s_SD_task_t.

[simgrid.git] / src / simdag / sd_workstation.c

diff --git a/src/simdag/sd_workstation.c b/src/simdag/sd_workstation.c
index 2d1b880..6f517d7 100644 (file)
--- a/src/simdag/sd_workstation.c
+++ b/src/simdag/sd_workstation.c
@@ -19,6 +19,7 @@ SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data) {
   
   const char *name = SD_workstation_get_name(workstation);
   xbt_dict_set(sd_global->workstations, name, workstation, __SD_workstation_destroy); /* add the workstation to the dictionary */
   
   const char *name = SD_workstation_get_name(workstation);
   xbt_dict_set(sd_global->workstations, name, workstation, __SD_workstation_destroy); /* add the workstation to the dictionary */

+  sd_global->workstation_count++;

 
   return workstation;
 }
 
   return workstation;
 }