Bug 607079



On 12/28/07, Rupert Swarbrick <rswarbrick at googlemail.com> wrote:

> This just requires a trivial call to delete-duplicates at the
> appropriate place. To find the appropriate place was less than trivial,
> so I reformatted $solve and added comments (apart from the addition of
> the delete-duplicates call, there's no code _changes_ just
> reformatting).

Rupert, thanks a lot for looking into this. At this point I'd like to
recommend that you separate the diff into two diffs: one which only
changes comments and format, and one which has the functional changes.
That way it is much easier to see what is going on when examining
the cvs history. Although there have been many cvs commits which
mix functional and non-functional changes, it's not too late to start
separating them.

Any bug fix for solve is sure to benefit a lot of people. Thanks for your help.

best,

Robert Dodier