Delete ProcessArg.properties.

[simgrid.git] / src / simix / ActorImpl.hpp

diff --git a/src/simix/ActorImpl.hpp b/src/simix/ActorImpl.hpp
index 3d7285f..dcdea7a 100644 (file)
--- a/src/simix/ActorImpl.hpp
+++ b/src/simix/ActorImpl.hpp
@@ -29,7 +29,7 @@ public:
   void *data            = nullptr;
   sg_host_t host        = nullptr;
   double kill_time      = 0.0;
   void *data            = nullptr;
   sg_host_t host        = nullptr;
   double kill_time      = 0.0;

-  std::map<std::string, std::string>* properties = nullptr;
+  std::shared_ptr<std::map<std::string, std::string>> properties;

   bool auto_restart     = false;
 };
 
   bool auto_restart     = false;
 };