The following should of course be:
> Cil.printerForMaincil := ref (new myCustomPrinter);
Cil.printerForMaincil := new myCustomPrinter;
Sorry,
--
Gabriel Kerneis
--
___
CIL-user
You might also find the standalone "indent" tool to be useful as a
post-processing filter. It is absurdly configurable and may be the
easiest route to something you like.
--
___
Hi,
On Mon, Mar 30, 2009 at 05:54:36PM -0400, John Smith wrote:
> The output file from CIL (the *.cil.c file) is not indented to my liking
> (e.g., indented 2 spaces whereas I prefer 4 spaces, or not indented at all)
> and makes it difficult to read. Can someone tell me how I can change this.
> P
Hi:
The output file from CIL (the *.cil.c file) is not indented to my liking
(e.g., indented 2 spaces whereas I prefer 4 spaces, or not indented at all)
and makes it difficult to read. Can someone tell me how I can change this.
Preferably there would be some options I can enable/disable, but I wo
