On Sat, Jul 15, 2017 at 2:59 AM, Julia Lawall <julia.law...@lip6.fr> wrote: > > What version of Coccinelle do you have? It seems that in the github > version this problem is already fixed. > > julia
I was using version 1.0.6. With --disable-worth-trying-opt it works. I updated to the latest version and that works perfectly. Thanks very much! _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
