mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Non-windows build fix
This commit is contained in:
parent
fb105afac2
commit
f8d022a180
|
@ -52,8 +52,10 @@ Revision History:
|
|||
|
||||
#ifdef USE_INTRINSICS
|
||||
#include <emmintrin.h>
|
||||
#if defined(_MSC_VER) || defined(__SSE4_1__)
|
||||
#include <smmintrin.h>
|
||||
#endif
|
||||
#endif
|
||||
|
||||
hwf_manager::hwf_manager() :
|
||||
m_mpz_manager(m_mpq_manager)
|
||||
|
|
Loading…
Reference in a new issue