On 11/05/2013 06:23 PM, Tom Tromey wrote: > I believe this version addresses Pedro's comments. I think so to. Thanks for doing this. -- Pedro Alves