From 8703e6975e30373e8c1b9acd6e4c32684d21b759 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Sun, 25 May 2014 19:00:36 +0200
Subject: [PATCH] POLY: fix header inclusion

---
 src/poly.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/poly.c b/src/poly.c
index dfe4da1..722c8e5 100644
--- a/src/poly.c
+++ b/src/poly.c
@@ -35,7 +35,8 @@
 #include <stdarg.h>
 #include <stdbool.h>
 #include <stdio.h>
-#include <stdbool.h>
+#include <stdlib.h>
+#include <sys/types.h>
 
 #include <fmpz_poly.h>
 #include <fmpz.h>