Okay, fortunately, the tests had not yet passed. I'll wait for a cleaner version. David On Dec 19, 2007 9:33 AM, Dave Love <fx at gnu.org> wrote: > Please ignore that patch for now. It seems to have got conflated with > bits of the one which fixed cmp usage somehow. I'll try to re-send it > from home tomorrow.