-/* Copyright (c) 2006-2011. The SimGrid Team.
+/* Copyright (c) 2006-2013. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
*/
void __SD_storage_destroy(void *storage)
{
- xbt_free(storage);
+ SD_storage_priv_t s;
+
+ s = (SD_storage_priv_t) storage;
+ xbt_free(s);
}
/**
* \param workstation a workstation
* \return a dynar containing all mounted storages on the workstation
*/
-xbt_dynar_t SD_workstation_get_storage_list(SD_workstation_t workstation){
+xbt_dict_t SD_workstation_get_storage_list(SD_workstation_t workstation){
return surf_workstation_model->extension.workstation.get_storage_list(workstation);
}