diff options
author | Maxim Pimenov <m@maps.me> | 2019-02-13 20:42:00 +0300 |
---|---|---|
committer | Tatiana Yan <tatiana.kondakova@gmail.com> | 2019-02-15 14:06:19 +0300 |
commit | 229d8a3bcf09e37e2dcff951dc36989720eef274 (patch) | |
tree | 136b402e2ad15bcde9deb978de40ab9fc998c6c9 /search/dummy_rank_table.hpp | |
parent | 1f2aeeb9edcf3769f569ff1472fd2d418acb0502 (diff) |
[search] Got rid of most old style std/ includes.
Diffstat (limited to 'search/dummy_rank_table.hpp')
-rw-r--r-- | search/dummy_rank_table.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/search/dummy_rank_table.hpp b/search/dummy_rank_table.hpp index 212a991a87..7065a7b875 100644 --- a/search/dummy_rank_table.hpp +++ b/search/dummy_rank_table.hpp @@ -2,6 +2,8 @@ #include "indexer/rank_table.hpp" +#include <cstdint> + namespace search { // This dummy rank table is used instead of a normal rank table when |