From b3cdd2a91bc7885bc7c3be92d736877e0c5f9b91 Mon Sep 17 00:00:00 2001 From: hua jiang Date: Thu, 6 Jan 2022 15:19:04 -0800 Subject: [PATCH] fix plint issue --- src/runtime/thread_pool.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/thread_pool.cc b/src/runtime/thread_pool.cc index 7b8cb01f37b4..94a04d8a5830 100644 --- a/src/runtime/thread_pool.cc +++ b/src/runtime/thread_pool.cc @@ -24,11 +24,11 @@ #include #include #include +#include #include #include #include #include -#include #if TVM_THREADPOOL_USE_OPENMP #include #endif