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

Reply via email to