From 8756a3210f1482d2638a329f18ca65eaf73988b2 Mon Sep 17 00:00:00 2001 From: Ankit Gupta Date: Mon, 14 Apr 2014 21:11:03 -0700 Subject: [PATCH] Remove unused headers --- java/rocksjni/statistics.cc | 3 --- 1 file changed, 3 deletions(-) diff --git a/java/rocksjni/statistics.cc b/java/rocksjni/statistics.cc index a663c02dc..690251e4a 100644 --- a/java/rocksjni/statistics.cc +++ b/java/rocksjni/statistics.cc @@ -9,13 +9,10 @@ #include #include #include -#include -#include #include "include/org_rocksdb_Statistics.h" #include "rocksjni/portal.h" #include "rocksdb/statistics.h" -#include "rocksdb/options.h" /* * Class: org_rocksdb_Statistics