From d1ffa681af7731e372e0031da76f2265a50a3520 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 18 Jun 2017 00:26:55 +0200 Subject: [PATCH] private headers should not be loaded from public ones --- include/simgrid/s4u/File.hpp | 1 - 1 file changed, 1 deletion(-) diff --git a/include/simgrid/s4u/File.hpp b/include/simgrid/s4u/File.hpp index 278081f2db..e4556c578f 100644 --- a/include/simgrid/s4u/File.hpp +++ b/include/simgrid/s4u/File.hpp @@ -8,7 +8,6 @@ #include -#include "src/surf/StorageImpl.hpp" #include namespace simgrid { -- 2.20.1