From fbdfe61d550ec8b780b946c9211005e1faf9b7d5 Mon Sep 17 00:00:00 2001
From: Noah Watkins <noahwatkins@gmail.com>
Date: Thu, 7 Nov 2013 16:42:54 -0800
Subject: [PATCH] trace: remove unused header

Signed-off-by: Noah Watkins <noahwatkins@gmail.com>
---
 src/client/Trace.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/client/Trace.cc b/src/client/Trace.cc
index f718595d00e66..61d34aa877f6e 100644
--- 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"