summaryrefslogtreecommitdiff
path: root/options
diff options
context:
space:
mode:
authorSiying Dong <siying.d@fb.com>2019-05-31 17:19:43 -0700
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>2019-05-31 17:23:59 -0700
commit000b9ec217663faad1d0196b28c623149e01e024 (patch)
tree1fba2d1bc3cabd2dd72635e00c89533dbd52e65e /options
parent79edf0a7a8ab75f60692efd54b1e0ed7da7aafca (diff)
Move some logging related files to logging/ (#5387)
Summary: Many logging related source files are under util/. It will be more structured if they are together. Pull Request resolved: https://github.com/facebook/rocksdb/pull/5387 Differential Revision: D15579036 Pulled By: siying fbshipit-source-id: 3850134ed50b8c0bb40a0c8ae1f184fa4081303f
Diffstat (limited to 'options')
-rw-r--r--options/db_options.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/options/db_options.cc b/options/db_options.cc
index e180238f4..72e348b32 100644
--- a/options/db_options.cc
+++ b/options/db_options.cc
@@ -11,12 +11,12 @@
#include <inttypes.h>
+#include "logging/logging.h"
#include "port/port.h"
#include "rocksdb/cache.h"
#include "rocksdb/env.h"
#include "rocksdb/sst_file_manager.h"
#include "rocksdb/wal_filter.h"
-#include "util/logging.h"
namespace rocksdb {