On Thursday, August 03, 2017 13:47:07 Paul Eggert wrote: > On 08/03/2017 06:02 AM, Kamil Dudka wrote: > >> I suppose we could change the diagnostic to say "might destroy source" > >> rather than "would destroy source". That would be more accurate. > > > > Sounds reasonable. > > OK, I installed the attached.
Thanks! It would have been good to mention where the inaccuracy comes from. Namely, that a fully sequential reproducer exists that triggers the false positive. Kamil
