> By the way, is there a place where this kind of small bug should be reported > instead of sending a message to the whole community each time a one is > found? Bugs should be reported to the gps-devel mailing list, with as much details as possible to reproduce them from scratch (and with the version of gps, gnat, ... used). Arno