update_model_description(surf_workstation_model_description,
"CLM03", surf_workstation_model);
xbt_dynar_push(model_list, &surf_workstation_model);
}
update_model_description(surf_workstation_model_description,
"CLM03", surf_workstation_model);
xbt_dynar_push(model_list, &surf_workstation_model);
}