use isl_*_reset_user instead of *_anonymize
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 12 Aug 2013 21:13:43 +0000 (23:13 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 18 Sep 2013 11:18:54 +0000 (13:18 +0200)
commit038055bd0f8b25897a0d08dd95ffe5c89a1e9ce7
tree7d5d21f1d5b9abb119cad924df820cb0c28d7ef5
parent079c84f5f4faa427f5ab8363ee75658bff55186d
use isl_*_reset_user instead of *_anonymize

The isl functions also reset the user pointer on nested spaces,
which will prove useful when adding support for structures.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scop.c