>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: Joel> I don't think that this would be a problem in practice. I don't Joel> think it should error out. Thanks. I assumed that lookup_symbol could call error, but I didn't trace through everything to try to see. Joel> OK. I checked it in. Tom