On Fri, Jun 17, 2011 at 10:12 PM, Julia Lawall <[email protected]> wrote: > What version are you using? It works correctly for me, but I know that I > fixed the problem very recently.
Sorry, I'm using 1.0.0rc2. I'll try upgrading to 1.0.0rc3. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
