isl_obj_list.c: update to use of isl_printer
commit27d09d1b3a9993b3b74403e282b24c0cf54bc726
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 25 Mar 2010 09:48:42 +0000 (25 10:48 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 25 Mar 2010 16:03:35 +0000 (25 17:03 +0100)
treebd61114b5c6e89b931e837e0df42a178cb0f6a44
parentbc5b185358fe057877c3d70237c2fd97ef50be7c
isl_obj_list.c: update to use of isl_printer

4ce244c (update isl for introduction of isl_printer) updated most
of the printing functions, but forgot the one in isl_obj_list.c
isl_obj_list.c