On Fri, 22 Jan 2010 02:42:22 +0100, Tom Tromey wrote: > I also came up with a patch. What do you think of the appended? OK, it is a better approach. I cannot find a countercase. Regards, Jan