On Sat, 18 Jun 2011, Matthew Dempsky wrote: > 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.
That should do the trick. julia
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
