From 0ffdc3c3455a485768467a3f755ccaaa13f4f9b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stefan=20Br=C3=BCns?= <stefan.bruens@rwth-aachen.de>
Date: Fri, 26 Jan 2018 19:14:51 +0100
Subject: [PATCH] Drop bad include of x86intrin.h
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Trying to include it does break compilation on anything but x86, and even
on x86 it is completely unnecessary, as builtins are "just there".

Signed-off-by: Stefan Brüns <stefan.bruens@rwth-aachen.de>
---
 src/homos.h |    1 -
 1 file changed, 1 deletion(-)

Index: digraphs-0.12.2/src/homos.h
===================================================================
--- digraphs-0.12.2.orig/src/homos.h
+++ digraphs-0.12.2/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"