Merge branch 'master' into 'master'

[simgrid.git] / src / instr / instr_paje_types.hpp

diff --git a/src/instr/instr_paje_types.hpp b/src/instr/instr_paje_types.hpp
index b2468f2e8d92b7101916cbda7af3b1df9c7a7b26..f4dae73d4d8be37c5e9e7b097805ba1fc0eace2e 100644 (file)
--- a/src/instr/instr_paje_types.hpp
+++ b/src/instr/instr_paje_types.hpp
@@ -43,7 +43,7 @@ public:
   bool is_colored() const { return not color_.empty(); }
 
   Type* by_name(const std::string& name);
-  LinkType* by_name_or_create(const std::string& name, Type* source, Type* dest);
+  LinkType* by_name_or_create(const std::string& name, const Type* source, const Type* dest);
   VariableType* by_name_or_create(const std::string& name, const std::string& color);
 
   template <class T> T* by_name_or_create(const std::string& name)