-void PropertyHolder::setProperty(const char*key, const char*value) {
- if (!properties_)
- properties_ = xbt_dict_new();
- xbt_dict_set(properties_, key, xbt_strdup(value), &xbt_free_f);
+void PropertyHolder::setProperty(std::string key, std::string value)
+{
+ if (not properties_)
+ properties_ = new std::map<std::string, std::string>;
+ (*properties_)[key] = value;