isl_map_print: add primes to duplicate names
commit6de3fd90da20c2213184c35c295f3a22c422980c
authorSven Verdoolaege <sven@nestor.cs.kuleuven.be>
Thu, 18 Feb 2010 16:29:09 +0000 (18 17:29 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 18 Feb 2010 20:38:01 +0000 (18 21:38 +0100)
treea402a18307e7e26360427ea60d7ce7b3a0e65616
parent53b4b1cffd9d07b6769cdc4a5141c8a240560eb2
isl_map_print: add primes to duplicate names

And, conversely, accept primes in identifier names in isl_map_read.
isl_input.c
isl_output.c
isl_stream.c