From 98421774b6c71cc6ee092240374c2453d2d03e43 Mon Sep 17 00:00:00 2001
From: Ankit Gupta <aigupta@linkedin.com>
Date: Mon, 14 Apr 2014 21:14:29 -0700
Subject: [PATCH] remove unused header

---
 java/rocksjni/portal.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/java/rocksjni/portal.h b/java/rocksjni/portal.h
index ab354bd38..5b0524aec 100644
--- a/java/rocksjni/portal.h
+++ b/java/rocksjni/portal.h
@@ -12,7 +12,6 @@
 
 #include <jni.h>
 #include "rocksdb/db.h"
-#include "rocksdb/statistics.h"
 
 namespace rocksdb {