From e61a1ea02f7bda5a16ee2a70532a959ef8ced26b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 18 Apr 2013 11:17:35 +0200
Subject: [PATCH] isl_space.c: add missing include

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl_space.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isl_space.c b/isl_space.c
index e6f957c4..499dd1a2 100644
--- a/isl_space.c
+++ b/isl_space.c
@@ -11,6 +11,7 @@
  */
 
 #include <stdlib.h>
+#include <string.h>
 #include <isl_space_private.h>
 #include <isl_id_private.h>
 #include <isl_reordering.h>
-- 
2.11.4.GIT