#ifndef SRC_SURF_PROPERTYHOLDER_HPP_
#define SRC_SURF_PROPERTYHOLDER_HPP_
#include <map>
+#include <string>
namespace simgrid {
namespace surf {
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).