Hi Arnaud,
Index: exp_util.adb =================================================================== --- exp_util.adb (revision 223476) +++ exp_util.adb (working copy) @@ -204,6 +204,13 @@ when others => null; end case;+ -- Nothing to do for the identifier in an object renaming declaration, + -- the renaming itself does not need atomic syncrhonization.
syncrhonization -> synchronization Ciao, Duncan.