isl_closure: take options
[platform/upstream/isl.git] / isl_printer.c
2010-03-18 Sven Verdoolaegeadd isl_printer