From fdaf5a37e7a6fe842c7fed544f0d9bd5f40599ed Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 12 May 2017 22:47:42 +0200 Subject: [PATCH 1/1] missing public header --- include/simgrid/s4u.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/include/simgrid/s4u.hpp b/include/simgrid/s4u.hpp index b4a1a64859..fe0ec582ac 100644 --- a/include/simgrid/s4u.hpp +++ b/include/simgrid/s4u.hpp @@ -10,6 +10,7 @@ #include #include #include +#include #include #include -- 2.20.1