>> https://github.com/coccinelle/coccinelle/issues/37 > > Not sure what you mean.
I suggest to take another look also at the circumstances for the placement of white-space characters (around asterisks). I guess that we come along different pretty-printing preferences. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
