update isl for dropping -Wcovered-switch-default flag
commitd619b5e749ce64da293406cdf4579fe55d21dec5
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 27 Oct 2015 08:00:01 +0000 (27 09:00 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 27 Oct 2015 08:00:01 +0000 (27 09:00 +0100)
tree1014fe4fe384c0b402f62762db0190b8a394936f
parentf956ffe74dfda5be4c868c1166166970f82024fc
update isl for dropping -Wcovered-switch-default flag

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