trace: remove unused header

Signed-off-by: Noah Watkins <noahwatkins@gmail.com>

diff --git a/src/client/Trace.cc b/src/client/Trace.cc
index f718595d00e66e52b69aa761662316bcddecbb38..61d34aa877f6e2a353a85b4fb14927978d017ad0 100644 (file)
--- a/src/client/Trace.cc
+++ b/src/client/Trace.cc
@@ -19,7 +19,6 @@
 
 #include <iostream>
 #include <map>
-#include <ext/rope>
 using namespace __gnu_cxx;
 
 #include "common/Mutex.h"