Fix lint. (#115)

This commit is contained in:
Jiaming Yuan 2019-10-13 07:38:29 -04:00 committed by GitHub
parent 6dab74689c
commit ed9328ceae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -12,6 +12,7 @@
#include <string>
#include <algorithm>
#include <numeric>
#include <limits>
#include "rabit/internal/utils.h"
#include "rabit/serializable.h"