X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5901a7d814ef3c475058d0cc958bebc21c81238c..b1cf96349b22334a1a01088f6c2c939c87e063cb:/src/surf/PropertyHolder.hpp diff --git a/src/surf/PropertyHolder.hpp b/src/surf/PropertyHolder.hpp index 02eb5b9289..a9909308f4 100644 --- a/src/surf/PropertyHolder.hpp +++ b/src/surf/PropertyHolder.hpp @@ -1,12 +1,12 @@ -/* Copyright (c) 2015-2018. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2015-2019. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ #ifndef SRC_SURF_PROPERTYHOLDER_HPP_ #define SRC_SURF_PROPERTYHOLDER_HPP_ -#include #include +#include namespace simgrid { namespace surf { @@ -24,13 +24,13 @@ public: const char* get_property(std::string key); void set_property(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). + /* 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. */ - std::map* get_properties(); + std::unordered_map* get_properties(); private: - std::map* properties_ = nullptr; + std::unordered_map* properties_ = nullptr; }; } /* namespace surf */