Hello, I think I have found a bug in, but I don't really know Coccinelle, since I use it only via coccigrep.
The bug is described there: https://github.com/regit/coccigrep/issues/8 Thanks for your great work, -- Frédéric _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
