From ed9328ceae82d3a1078d46057a7e8c7dde249186 Mon Sep 17 00:00:00 2001 From: Jiaming Yuan Date: Sun, 13 Oct 2019 07:38:29 -0400 Subject: [PATCH] Fix lint. (#115) --- include/rabit/internal/io.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/rabit/internal/io.h b/include/rabit/internal/io.h index a492cf705..f7e255b45 100644 --- a/include/rabit/internal/io.h +++ b/include/rabit/internal/io.h @@ -12,6 +12,7 @@ #include #include #include +#include #include "rabit/internal/utils.h" #include "rabit/serializable.h"