From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Fri, 27 Oct 2017 10:49:42 +0000 (+0200)
Subject: try to silence CI on maverick
X-Git-Tag: v3.18~383
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/22e5e3137c9c96940f1bd2ef05487bc35fddc262?hp=bcd0ba67d200acb2d173c35082109a2ac488b614

try to silence CI on maverick
---

diff --git a/src/instr/instr_paje_containers.hpp b/src/instr/instr_paje_containers.hpp
index 688abeb2fa..8f3fc3f001 100644
--- 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 f1d24c24bd..dca29b3835 100644
--- 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;