1 files changed, 5 insertions, 5 deletions
diff --git a/tools/dump/rocksdb_undump.cc b/tools/dump/rocksdb_undump.cc
index 450c7e475..2ff128548 100644
--- a/tools/dump/rocksdb_undump.cc
+++ b/tools/dump/rocksdb_undump.cc
@@ -36,15 +36,15 @@ int main(int argc, char **argv) {
     return 1;
   }
 
-  rocksdb::UndumpOptions undump_options;
+  ROCKSDB_NAMESPACE::UndumpOptions undump_options;
   undump_options.db_path = FLAGS_db_path;
   undump_options.dump_location = FLAGS_dump_location;
   undump_options.compact_db = FLAGS_compact;
 
-  rocksdb::Options db_options;
+  ROCKSDB_NAMESPACE::Options db_options;
   if (FLAGS_db_options != "") {
-    rocksdb::Options parsed_options;
-    rocksdb::Status s = rocksdb::GetOptionsFromString(
+    ROCKSDB_NAMESPACE::Options parsed_options;
+    ROCKSDB_NAMESPACE::Status s = ROCKSDB_NAMESPACE::GetOptionsFromString(
         db_options, FLAGS_db_options, &parsed_options);
     if (!s.ok()) {
       fprintf(stderr, "Cannot parse provided db_options\n");
@@ -53,7 +53,7 @@ int main(int argc, char **argv) {
     db_options = parsed_options;
   }
 
-  rocksdb::DbUndumpTool tool;
+  ROCKSDB_NAMESPACE::DbUndumpTool tool;
   if (!tool.Run(undump_options, db_options)) {
     return 1;
   }