Julia, On Sun, Aug 29, 2010 at 18:08 +0200, Julia Lawall wrote: > Problem solved. A patch is below.
Thank you very much! ;) Best, Vasiliy. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
