isl_printer_print_basic_set: fix up printing to string printer
commit5aa94e1fd79d3ea7b7aa97d98fe765a363f92926
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 18 Apr 2010 19:55:05 +0000 (18 21:55 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 18 Apr 2010 19:55:05 +0000 (18 21:55 +0200)
tree65fbee47bbe423ca43a22c740cd476c2e99cd504
parenta05ec4acdf6038dba4978f60a4a6ed79650486f7
isl_printer_print_basic_set: fix up printing to string printer

In particular, only print prefix and suffix (and call strlen on them)
if they are not NULL.

Problem reported by Tomofumi Yuki <yuki@cs.colostate.edu>
isl_printer.c