From d88acacefc35536d5052066c0283ffa397fb4efb Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Wed, 11 Apr 2018 16:15:14 +0200
Subject: [PATCH] isl_local.c: add missing include

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 isl_local.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isl_local.c b/isl_local.c
index b28a2154..4c15d6b7 100644
--- a/isl_local.c
+++ b/isl_local.c
@@ -10,6 +10,7 @@
  * and Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
  */
 
+#include <isl/space.h>
 #include <isl_vec_private.h>
 #include <isl_mat_private.h>
 #include <isl_seq.h>
-- 
2.11.4.GIT