homos.h: fix Issue #147 (remove x86intrin.h)

digraphs · Nov 23, 2018 · a8de419 · a8de419
1 parent 679ca5e
commit a8de419
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/homos.h b/src/homos.h
@@ -14,7 +14,6 @@
 
 #include <limits.h>
 #include <setjmp.h>
-#include <x86intrin.h>
 
 #include "bliss-0.73/bliss_C.h"
 #include "src/schreier-sims.h"