Simplifications.

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

diff --git a/src/surf/PropertyHolder.hpp b/src/surf/PropertyHolder.hpp
index 5f39e635b4fe77cf9d06816bca78b0b07f05ee54..95d7987d6ba14af509c0cd4ee2fe238bcf90458a 100644 (file)
--- a/src/surf/PropertyHolder.hpp
+++ b/src/surf/PropertyHolder.hpp
@@ -24,7 +24,7 @@ public:
   ~PropertyHolder();
 
   const char* get_property(const std::string& key);
-  void set_property(const std::string& id, std::string value);
+  void set_property(const std::string& id, const std::string& value);
 
   /* FIXME: This should not be exposed, as users may do bad things with the map they got (it's not a copy).
    * But some user API expose this call so removing it is not so easy.