From 15df204fcdb8ea7a25ca2e6d5977529a045b1463 Mon Sep 17 00:00:00 2001 From: hlu1 <14827759+hlu1@users.noreply.github.com> Date: Tue, 11 Feb 2020 14:46:50 -0800 Subject: [PATCH] [Topi] Missing header (#4865) --- topi/include/topi/x86/default.h | 1 + 1 file changed, 1 insertion(+) diff --git a/topi/include/topi/x86/default.h b/topi/include/topi/x86/default.h index dec9a864f26e..9b6efa511d8d 100644 --- a/topi/include/topi/x86/default.h +++ b/topi/include/topi/x86/default.h @@ -27,6 +27,7 @@ #include #include #include +#include #include namespace topi {