| commit | 7d865eeeb6d1cbe0e793ea3ab189f7f69a1a97e3 | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Tue, 4 Sep 2018 07:00:34 +0000 (4 09:00 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 4 Sep 2018 09:52:32 +0000 (4 11:52 +0200) | ||
| tree | 98350384bcdde189bbc8466f9242c5535bed747d | treesnapshot (tar.gz zip) |
| parent | 8b0230f1b3aa8127cbfb2287cad2bace98074805 | commitdiff |
isl_val_is_rat: use isl_bool_ok
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_val.c | diffblobblamehistory |