isl_val_lt: use isl_bool_ok
commit19c159e4a260e008e5bcd88e3fee2398ce362e34
authorTobias Grosser <tobias@grosser.es>
Tue, 4 Sep 2018 07:00:45 +0000 (4 09:00 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 4 Sep 2018 09:52:32 +0000 (4 11:52 +0200)
tree1b228a69737ff3bf696967deeacada6bdafa2e98
parent7062678e3681af189fa7d22242f3184adcca292c
isl_val_lt: use isl_bool_ok

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