try to silence CI on maverick

diff --git a/src/instr/instr_paje_containers.hpp b/src/instr/instr_paje_containers.hpp
index 688abeb..8f3fc3f 100644 (file)
--- a/src/instr/instr_paje_containers.hpp
+++ b/src/instr/instr_paje_containers.hpp
@@ -7,6 +7,7 @@
 #define INSTR_PAJE_CONTAINERS_HPP
 
 #include "src/instr/instr_private.hpp"
+#include <string>
 
 namespace simgrid {
 namespace instr {

diff --git a/src/instr/instr_paje_types.hpp b/src/instr/instr_paje_types.hpp
index f1d24c2..dca29b3 100644 (file)
--- a/src/instr/instr_paje_types.hpp
+++ b/src/instr/instr_paje_types.hpp
@@ -7,6 +7,8 @@
 #define INSTR_PAJE_TYPES_HPP
 
 #include "src/instr/instr_private.hpp"
+#include <string>
+
 namespace simgrid {
 namespace instr {
 enum e_event_type : unsigned int;