>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: Joel> The patch looks good to me overall. Just a few very minor nits. [...] I've fixed all these. Thanks for the review. Tom