> Do you have any suggestion for a workaround?

Can you upgrade to 4.06?  I also have this problem with 4.05.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to