doc: isl_*_is_empty: specify header to include
commit3049f9e5b82a8aa44fa967a14feb4e3f2dbef9bd
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 18 Aug 2017 14:08:31 +0000 (18 16:08 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 27 Sep 2017 07:23:32 +0000 (27 09:23 +0200)
tree36b948ccff567ab6ad310969cf02a2bd433c5488
parentbd8b89077f9dc86114e13712a4aa4233801ef72a
doc: isl_*_is_empty: specify header to include

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod