On Fri, 1 Feb 2019, Michael Stefaniuc wrote: > Hello, > > when adding a "!!" the generated diff will have "! !". > Test case and results are attached. This should be fixed now. Thanks for the report. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
- [Cocci] Whitespace Issue When Adding "!!" Michael Stefaniuc
- Re: [Cocci] Whitespace Issue When Adding "!!&q... Julia Lawall
