[Bug other/57928] Doesn't compile with ISL 0.12

[egall at gwmail dot gwu.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57928

Eric Gallager <egall at gwmail dot gwu.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |egall at gwmail dot gwu.edu

--- Comment #1 from Eric Gallager <egall at gwmail dot gwu.edu> ---
The prerequisites page now says it works with isl 0.14 or 0.12.2:
https://gcc.gnu.org/install/prerequisites.html