On Fri, 04 Feb 2011 10:01:57 -0700, Tom Tromey wrote: > Markus -- any way you could try gdb CVS HEAD to see if it fixes your > problem? If it doesn't, then there are more bugs to find... > > Tom Will try on Monday, thanks.