From 4391845185a9f8b833b822d1650958000f239500 Mon Sep 17 00:00:00 2001 From: zhupengfei Date: Fri, 15 May 2020 23:11:26 +0800 Subject: [PATCH] Fix linux CI --- src/frontend/helpers/progressive_job.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/frontend/helpers/progressive_job.h b/src/frontend/helpers/progressive_job.h index da5602a..2787617 100644 --- a/src/frontend/helpers/progressive_job.h +++ b/src/frontend/helpers/progressive_job.h @@ -4,6 +4,7 @@ #pragma once +#include #include #include "common/common_types.h"