[PATCH] Bump downloaded ISL version to 0.18

[Richard Biener]

Committed.

Richard.

2017-09-18  Richard Biener  <rguenther@suse.de>

	* download_prerequisites (isl): Bump version to 0.18.

Index: contrib/download_prerequisites
===================================================================
--- contrib/download_prerequisites	(revision 252906)
+++ contrib/download_prerequisites	(working copy)
@@ -30,7 +30,7 @@ version='(unversioned)'
 gmp='gmp-6.1.0.tar.bz2'
 mpfr='mpfr-3.1.4.tar.bz2'
 mpc='mpc-1.0.3.tar.gz'
-isl='isl-0.16.1.tar.bz2'
+isl='isl-0.18.tar.bz2'
 
 base_url='ftp://gcc.gnu.org/pub/gcc/infrastructure/'