diff options
| author | liushuyu <liushuyu011@gmail.com> | 2022-08-16 15:19:57 -0600 |
|---|---|---|
| committer | liushuyu <liushuyu011@gmail.com> | 2022-08-16 15:19:57 -0600 |
| commit | 1702caebbb4f47c4f1ecf231e3570af86285486a (patch) | |
| tree | 7f7da1801929a274eeb1dd36ce50b4c89966ee9c /src | |
| parent | 9caa16c8d4f796171ea1c2db9ea04539e59bb6ae (diff) | |
common: remove unneeded x86-specific header
Diffstat (limited to 'src')
| -rw-r--r-- | src/common/uint128.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/common/uint128.h b/src/common/uint128.h index f890ffec24..f450a6db99 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" |