>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: Joel> Attached are two patches, the first being the code change, and the Joel> second a testcase for it. It looks reasonable to me, but I wonder whether it is complete. That is -- there are a lot of uses of ALL_OBJFILES; I wonder whether any of them need updating. Tom