Use RAII for sthread_enable/disable.

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

diff --git a/src/instr/instr_paje_containers.hpp b/src/instr/instr_paje_containers.hpp
index a4a4fe088a9c1811b0f122b0d941d0ff9852c825..01b2b7840c3f152d3271a68771488dd8d8ecc9c7 100644 (file)
--- a/src/instr/instr_paje_containers.hpp
+++ b/src/instr/instr_paje_containers.hpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2010-2022. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2010-2023. 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. */
@@ -6,8 +6,10 @@
 #ifndef INSTR_PAJE_CONTAINERS_HPP
 #define INSTR_PAJE_CONTAINERS_HPP
 
-#include "src/instr/instr_private.hpp"
+#include <map>
+#include <simgrid/s4u/Host.hpp>
 #include <string>
+#include <xbt/signal.hpp>
 
 namespace simgrid::instr {
 class Type;