From d1a328e48e23c005536f8514e567fb273554a36c Mon Sep 17 00:00:00 2001 From: Frederic Suter Date: Thu, 8 Jun 2017 21:10:11 +0200 Subject: [PATCH] distcheck cannot be trusted --- src/include/surf/surf.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/include/surf/surf.h b/src/include/surf/surf.h index 4388b32b5f..0d0ced1f14 100644 --- a/src/include/surf/surf.h +++ b/src/include/surf/surf.h @@ -13,7 +13,6 @@ #include "xbt/misc.h" #include "xbt/config.h" #include "src/internal_config.h" -#include "surf/surf_routing.h" #include "surf/datatypes.h" #include "simgrid/datatypes.h" #include "simgrid/forward.h" -- 2.20.1