isl_pip: use isl_set_print instead of isl_set_dump to print results
commit861b8741771c5ad9ba2b86f63d61603e7847dcab
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 10 Mar 2010 12:43:52 +0000 (10 13:43 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 10 Mar 2010 16:23:04 +0000 (10 17:23 +0100)
tree51541d80a21189ef14e0f32813fc6eda9273104e
parent08232ef0e9687f7daa0e122fbe211df055456b72
isl_pip: use isl_set_print instead of isl_set_dump to print results
pip.c