From ba65a6cdd5903b715aec626856f15adfce2be2cd Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 10 Jan 2019 22:17:19 +0100
Subject: [PATCH] Useless include.

---
 src/surf/trace_mgr.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/surf/trace_mgr.cpp b/src/surf/trace_mgr.cpp
index 25ae198dfc..1b204a89e6 100644
--- 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>
-- 
2.20.1