From be79f9bbdee8f1458cb67e2644d48783dad66fb9 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 13 Nov 2017 13:50:12 +0100 Subject: [PATCH] Useless include. --- src/xbt/graph.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/xbt/graph.c b/src/xbt/graph.c index a07efb9c2a..121a842f6b 100644 --- a/src/xbt/graph.c +++ b/src/xbt/graph.c @@ -11,7 +11,6 @@ #include "xbt/graph.h" #include "graph_private.h" #include "xbt/dict.h" -#include "xbt/heap.h" #include #include -- 2.20.1