diff options
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 |