The following should of course be: > Cil.printerForMaincil := ref (new myCustomPrinter); Cil.printerForMaincil := new myCustomPrinter;
Sorry, -- Gabriel Kerneis ------------------------------------------------------------------------------ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users