From eadb2db3a6e73de007cf07b6dab06254fad053ca Mon Sep 17 00:00:00 2001
From: Tom Schoonjans <tomschoonjans@uniss.it>
Date: Fri, 21 Mar 2014 10:08:11 +0100
Subject: [PATCH] small fix for debian wheezy

---
 include/xmi_aux.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/xmi_aux.h b/include/xmi_aux.h
index a5780d9d..578d8714 100644
--- a/include/xmi_aux.h
+++ b/include/xmi_aux.h
@@ -29,6 +29,7 @@ along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 
 #ifndef HAVE_GETLINE
+#include <sys/types.h>
 ssize_t getline (char **lineptr, size_t *n, FILE *stream);
 #endif