z3/z3-sse2.patch

13 lines
351 B
Diff

--- src/util/hwf.cpp.orig 2016-11-07 15:02:30.000000000 -0700
+++ src/util/hwf.cpp 2016-11-08 21:01:53.533487316 -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