On Mon, 8 Apr 2013, Michael Stefaniuc wrote:

> Hello Julia,
>
> On 03/27/2013 06:31 PM, Julia Lawall wrote:
> > Could you try the attached patch?  The line numbers are almost certain not
> > to work out, but maybe it will be able to figure out what to do.
> sorry for the late reply. The patch works like a charm.

Great.  It is in rc17.

julia

>
> Thanks!
> bye
>       michael
>
> >
> > The idea is to do the following:
> >
> > @r@
> > parameter list P;
> > expression list E;
> > @@
> >
> > main(P@E) {
> > + foo(E);
> >   return 0;
> > }
> >
> > julia
> >
>
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to