isl_val_gt: use isl_bool_ok
commit4f64f57ec81b11b14d893491315d9d601266c952
authorTobias Grosser <tobias@grosser.es>
Tue, 4 Sep 2018 07:00:46 +0000 (4 09:00 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 4 Sep 2018 09:52:32 +0000 (4 11:52 +0200)
treefd184e4633b932430541d9568ca02f0005176335
parent19c159e4a260e008e5bcd88e3fee2398ce362e34
isl_val_gt: use isl_bool_ok

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_val.c