diff options
author | Sergei Petrunia <psergey@askmonty.org> | 2017-08-01 08:50:48 +0000 |
---|---|---|
committer | Sergei Petrunia <psergey@askmonty.org> | 2017-08-01 08:50:48 +0000 |
commit | 08997242577dad41738733829ea979af88c431db (patch) | |
tree | b4882198e4a1b6434b75ba6c1f8f70a3ff38b24f | |
parent | 2963a49f728f08f25cedd664e109c09925225afd (diff) | |
download | mariadb-git-08997242577dad41738733829ea979af88c431db.tar.gz |
Use proper #include's
-rw-r--r-- | storage/rocksdb/rdb_compact_filter.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/storage/rocksdb/rdb_compact_filter.h b/storage/rocksdb/rdb_compact_filter.h index 4696a1985b6..ea08ac458a6 100644 --- a/storage/rocksdb/rdb_compact_filter.h +++ b/storage/rocksdb/rdb_compact_filter.h @@ -23,6 +23,7 @@ /* C++ system header files */ #include <string> #include <time.h> +#include <ctime> /* RocksDB includes */ #include "rocksdb/compaction_filter.h" |