On 04/16/2013 04:12 PM, Tom Tromey wrote: > Tom> There isn't one, but I can ask the reporter for it. > Tom> I didn't ask earlier since I thought the problem was obvious from the > Tom> assertion failure. > > There's one in the PR now. Thanks. -- Pedro Alves