z3/z3-sse2.patch

13 lines
354 B
Diff

--- src/util/hwf.cpp.orig 2017-12-19 21:13:53.225563733 -0700
+++ src/util/hwf.cpp 2017-12-19 21:15:00.345290291 -0700
@@ -29,8 +29,7 @@ Revision History:
#include<fenv.h>
#endif
-#if defined(__x86_64__) || defined(_M_X64) || \
- defined(__i386) || defined(_M_IX86)
+#if defined(__x86_64__) || defined(_M_X64)
#define USE_INTRINSICS
#endif