isl_val_check_match_domain_space: update documentation
commit45c68ad2b1665e0936bf28183cdd256f26c3f345
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 30 Apr 2018 13:38:10 +0000 (30 15:38 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 24 Aug 2018 13:36:04 +0000 (24 15:36 +0200)
treefad8c2094efa27e50dce2bb853561344ff027b87
parent74b1e2555e699579cb200d1a066090f596d2a1b5
isl_val_check_match_domain_space: update documentation

This was missing from isl-0.18-232-g8cc322036c
(isl_*_check_match_domain_space: return isl_stat,
Tue Jan 24 23:06:42 2017 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_val.c