never trust distcheck

diff --git a/src/surf/surf_routing_private.hpp b/src/surf/surf_routing_private.hpp
index 22778d6..d3caf8d 100644 (file)
--- a/src/surf/surf_routing_private.hpp
+++ b/src/surf/surf_routing_private.hpp
@@ -16,7 +16,6 @@
 #include "xbt/str.h"
 #include "xbt/config.h"
 #include "xbt/graph.h"
 #include "xbt/str.h"
 #include "xbt/config.h"
 #include "xbt/graph.h"

-#include "xbt/set.h"

 #include "surf/surfxml_parse.h"
 
 /* ************************************************************************** */
 #include "surf/surfxml_parse.h"
 
 /* ************************************************************************** */