12 lines
265 B
Diff
12 lines
265 B
Diff
Header is unused on gcc builds anyway, breaks non-x86(_64).
|
|
|
|
--- src/util/mpz.cpp.orig
|
|
+++ src/util/mpz.cpp
|
|
@@ -30,7 +30,6 @@
|
|
#else
|
|
#error No multi-precision library selected.
|
|
#endif
|
|
-#include <immintrin.h>
|
|
|
|
// Available GCD algorithms
|
|
// #define EUCLID_GCD
|