> This has already been reported and fixed, but the fix was too late to > be included in 6.0. In July? > Bug 1241 in the GDB bug database has a patch (get the second patch, > not the first): http://sources.redhat.com/cgi-bin/gnatsweb.pl It can at least be pulled into the branch after 6.0 is released. Andrew