cosmetics

[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 c5b8149..7d9fa60 100644 (file)
--- a/src/instr/instr_paje_types.hpp
+++ b/src/instr/instr_paje_types.hpp
@@ -53,8 +53,6 @@ public:
     issuer_ = container;
     return this;
   }
-
-  void log_definition(Type* source, Type* dest);
 };
 
 class ContainerType : public Type {