store host and not names

[simgrid.git] / src / surf / surf_interface.hpp

diff --git a/src/surf/surf_interface.hpp b/src/surf/surf_interface.hpp
index 878a52d..b0d4d98 100644 (file)
--- a/src/surf/surf_interface.hpp
+++ b/src/surf/surf_interface.hpp
@@ -43,7 +43,7 @@ XBT_PUBLIC(double) surf_get_clock(void);
 /** \ingroup SURF_simulation
  *  \brief List of hosts that have just restarted and whose autorestart process should be restarted.
  */
-XBT_PUBLIC_DATA(std::vector<std::string>) host_that_restart;
+XBT_PUBLIC_DATA(std::vector<sg_host_t>) host_that_restart;
 
 
 extern XBT_PRIVATE double sg_sender_gap;