On Mar 30, 2023, at 6:51 AM, Alexandre Oliva <ol...@adacore.com> wrote: > > On Mar 30, 2023, Alexandre Oliva <ol...@adacore.com> wrote: > >> If we're dropping the renaming, I suppose we could also revert Jakub's >> change. I suppose this patch will take care of it, pending testing... > > Regstrapped on x86_64-linux-gnu and also tested on arm-vx7r2 (with > gcc-12), where I used to get fails after an unsupported modules.exp > test, but there are no curly braces in the log files after the patch. > Ok to install?
Ok.