From ed97ee4abe6122de46e67641b88ddbc6b53107c7 Mon Sep 17 00:00:00 2001
From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Mon, 25 Jan 2016 23:24:56 +0100
Subject: [PATCH] set are dead. don't include this .h

---
 include/xbt.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/include/xbt.h b/include/xbt.h
index 5a1adc3abb..66e97a7d5f 100644
--- a/include/xbt.h
+++ b/include/xbt.h
@@ -23,7 +23,6 @@
 
 #include <xbt/dynar.h>
 #include <xbt/dict.h>
-#include <xbt/set.h>
 #include <xbt/swag.h>
 #include <xbt/heap.h>
 #include <xbt/parmap.h>
-- 
2.20.1