[PATCH] Fix build with ISL 0.20

[Alexey Neyman]

Hi,

A trivial patch that fixes the build against the latest ISL release, 
0.20. In that release, <isl/space.h> and <isl/id.h> were split in two 
headers each. The <isl/multi.h> (included from <isl/val.h> which is 
included by "graphite.h") now includes <isl/space_types.h> and 
<isl/id_types.h>; <isl/space.h> and <isl/id.h> must be included explicitly.

These headers (<isl/space.h> and <isl/id.h>) are present in all 
supported versions of ISL (0.15 and later).

Bootstrapped on x86_64-pc-linux-gnu.

Regards,
Alexey.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-build-with-ISL-0.20.patch
Type: text/x-patch
Size: 1189 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20180925/634ed9bf/attachment.bin>