diff options
| author | bunnei <bunneidev@gmail.com> | 2022-08-18 11:18:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-18 11:18:57 -0700 |
| commit | 2e58491c387cb304c154972814917b9d66630d1f (patch) | |
| tree | 7f7da1801929a274eeb1dd36ce50b4c89966ee9c /src | |
| parent | 6f931d49c74017fb66bf285dd060bc455ae05c85 (diff) | |
| parent | b00df08145ed96116b39ee0cbe91d821d618b4d4 (diff) | |
Merge pull request #8772 from liushuyu/remove-common-intrin
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 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" |