model-checker : deal with the soundness of DPOR only if DPOR is enabled

[simgrid.git] / src / msg / msg_host.c

diff --git a/src/msg/msg_host.c b/src/msg/msg_host.c
index 57fd96ca5c08a1ecf1985eed0b800756fbfa4da5..00e126cedb0fd65ecdb388f14bc09a7e00fee39b 100644 (file)
--- a/src/msg/msg_host.c
+++ b/src/msg/msg_host.c
@@ -411,9 +411,9 @@ xbt_dict_t MSG_host_get_mounted_storage_list(msg_host_t host)
 /** \ingroup m_host_management
  * \brief Return the list of storages attached to an host.
  * \param host a host
- * \return a dict containing all storages attached to the host (storage name => msg_storage_t)
+ * \return a dynar containing all storages (name) attached to the host
  */
-xbt_dict_t MSG_host_get_attached_storage_list(msg_host_t host)
+xbt_dynar_t MSG_host_get_attached_storage_list(msg_host_t host)
 {
   xbt_assert((host != NULL), "Invalid parameters");
   return (simcall_host_get_attached_storage_list(host));