[Gc] [patch] fix possible merge error

Andreas Tobler toa at pop.agri.ch
Tue Jan 9 13:04:52 PST 2007


Boehm, Hans wrote:
> That was actually an intentional change on my part.  They should be
> provably equivalent.  The current version repeats the code from inside
> the loop, which I think makes the structure of the code clearer.  It
> took me a while to understand the original.
> 
> Unless I introduced a bug here, I'd like to leave this the way it is.

Ok, skipped.

Thanks.

Andreas


More information about the Gc mailing list