common: remove unneeded x86-specific header · b00df08145 - eden - InfoTonic - Git

common: remove unneeded x86-specific header

pull/15/merge

liushuyu 3 years ago

parent

6f931d49c7

commit

b00df08145

No known key found for this signature in database GPG Key ID: 23D1CE4534419437

1 changed files with 0 additions and 1 deletions

Unified View

								
									1

src/common/uint128.h

									View File
								
				@ -12,7 +12,6 @@
			
				#pragma intrinsic(_udiv128)
				
				#pragma intrinsic(_udiv128)
			
				#else
				
				#else
			
				#include <cstring>
				
				#include <cstring>
			
				#include <x86intrin.h>
				
				#endif
				
				#endif
			
				#include "common/common_types.h"
				
				#include "common/common_types.h"