Useless include.

diff --git a/src/surf/trace_mgr.cpp b/src/surf/trace_mgr.cpp
index 25ae198..1b204a8 100644 (file)
--- a/src/surf/trace_mgr.cpp
+++ b/src/surf/trace_mgr.cpp
@@ -9,7 +9,6 @@
 #include "src/surf/surf_interface.hpp"
 #include "src/surf/trace_mgr.hpp"
 #include "surf_private.hpp"
-#include "xbt/RngStream.h"
 #include <boost/algorithm/string.hpp>
 #include <boost/algorithm/string/join.hpp>
 #include <boost/algorithm/string/split.hpp>