From 6676e4e9d5f842fc801f5ed9cf0d3c753d260504 Mon Sep 17 00:00:00 2001
From: Kyle Schwarz <zeranoe@gmail.com>
Date: Sat, 7 Apr 2018 23:14:40 -0400
Subject: Update isl to 0.19

---
 README.md       | 2 +-
 mingw-w64-build | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index ecf0116..ce3b779 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@
 * [GMP](https://gmplib.org/) 6.1.2
 * [MPFR](http://www.mpfr.org/) 4.0.1
 * [MPC](http://www.multiprecision.org/mpc/) 1.1.0
-* [isl](http://isl.gforge.inria.fr/) 0.18
+* [isl](http://isl.gforge.inria.fr/) 0.19
 
 ## Platforms
 mingw-w64-build has been tested on the following platforms:
diff --git a/mingw-w64-build b/mingw-w64-build
index 90689c2..28d069e 100755
--- a/mingw-w64-build
+++ b/mingw-w64-build
@@ -22,7 +22,7 @@ v_gcc="7.3.0"
 v_gmp="6.1.2"
 v_mpfr="4.0.1"
 v_mpc="1.1.0"
-v_isl="0.18"
+v_isl="0.19"
 
 show_help()
 {
-- 
cgit v1.2.3