/* creation of the environment */
SD_create_environment(argv[1]);
- size = xbt_lib_size(host_lib) + xbt_lib_size(as_router_lib);
+ size = xbt_lib_length(host_lib) + xbt_lib_length(as_router_lib);
printf("Workstation number: %d, link number: %d, elmts number: %d\n",
SD_workstation_get_number(), SD_link_get_number(), size);