I expect that it should be OK, but you can always try it.
Would you like to integrate a variant from this working filter example into your source code repository?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
