# From https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86724
--- branches/gcc-6-branch/gcc/graphite.h	2018/08/14 14:33:20	263538
+++ branches/gcc-6-branch/gcc/graphite.h	2018/08/14 15:15:39	263539
@@ -40,6 +40,8 @@
 #ifdef HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS
 /* isl 0.15 or later.  */
 #include <isl/schedule_node.h>
+#include <isl/id.h>
+#include <isl/space.h>
 
 #else
 /* isl 0.14 or 0.13.  */