diff --git a/db/version_set.cc b/db/version_set.cc index cfd905c34db9176454719d95a761dfa9db4a481c..584f04386c2d351301ce75b32f2a308935f74d67 100644 --- a/db/version_set.cc +++ b/db/version_set.cc @@ -228,7 +228,9 @@ class FilePicker { unsigned int hit_file_level_; int32_t search_left_bound_; int32_t search_right_bound_; +#ifndef NDEBUG std::vector* files_; +#endif autovector* level_files_brief_; bool search_ended_; bool is_hit_file_last_in_level_;