Basile STARYNKEVITCH wrote:

...

Roberto Bagnara wrote:

...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 21 19:58:13 2009 +0100

The C interface now provides functions of the form

int ppl_io_asprint_Polyhedron(char** strp, P x)

Thanks. I'm using this (in the MELT branch of GCC; will probably commit in a couple of hours), but I miss the indent argument (which gave an indentation number, ie the number of spaces after each newline).

So I am scanning the resulting string to replace there every newline with newline followed by some number of spaces.

Hi Basile,

you have been too quick. The interface you are using was actually a failed experiment that will be removed now. I will let you know when we are ready. Cheers,

Roberto