X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4775ee0f232bccc4978dfbfb8153b7593be7dd77..c9309ca5ce7b71208ec162d803972feabe4e42da:/src/surf/PropertyHolder.hpp

diff --git a/src/surf/PropertyHolder.hpp b/src/surf/PropertyHolder.hpp
index 7c07fcd946..64633b3df8 100644
--- a/src/surf/PropertyHolder.hpp
+++ b/src/surf/PropertyHolder.hpp
@@ -6,6 +6,7 @@
 #ifndef SRC_SURF_PROPERTYHOLDER_HPP_
 #define SRC_SURF_PROPERTYHOLDER_HPP_
 #include <map>
+#include <string>
 
 namespace simgrid {
 namespace surf {
@@ -20,7 +21,7 @@ public:
   PropertyHolder() = default;
   ~PropertyHolder();
 
-  const char *getProperty(const char*id);
+  const char* getProperty(std::string key);
   void setProperty(std::string id, std::string value);
 
   /* FIXME: This should not be exposed, as users may do bad things with the dict they got (it's not a copy).