Ted Kremenek wrote: > I think this is an unrelated problem, and I think this was introduced > after I fixed the problem Mike was reporting. Please commit your fix! Done, r49209. Best regards, --Edwin