From b00df08145ed96116b39ee0cbe91d821d618b4d4 Mon Sep 17 00:00:00 2001
From: liushuyu <liushuyu011@gmail.com>
Date: Tue, 16 Aug 2022 15:19:57 -0600
Subject: common: remove unneeded x86-specific header

---
 src/common/uint128.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/common/uint128.h b/src/common/uint128.h
index f890ffec2..f450a6db9 100644
--- a/src/common/uint128.h
+++ b/src/common/uint128.h
@@ -12,7 +12,6 @@
 #pragma intrinsic(_udiv128)
 #else
 #include <cstring>
-#include <x86intrin.h>
 #endif
 
 #include "common/common_types.h"
-- 
cgit v1.2.3