update isl for dropping -Wcovered-switch-default flag
commita221583fe7ea578218df2693a12964599281453d
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Oct 2015 12:09:14 +0000 (23 14:09 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Oct 2015 12:09:14 +0000 (23 14:09 +0200)
tree17255474049934e940e5c32a29dbfc264a8e8d94
parent619b7670af260d9d211afdd65b333784cdf1e479
update isl for dropping -Wcovered-switch-default flag

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl