--- ai12s/ai12-0241-1.txt 2018/06/29 04:42:54 1.5 +++ ai12s/ai12-0241-1.txt 2019/03/08 06:57:48 1.6 @@ -1122,7 +1122,8 @@ @b<type> Time @b<is private>;> @dby @xcode< -@b<package> Ada.Calendar @b<with> Nonblocking @b<is> +@b<package> Ada.Calendar + @b<with> Nonblocking @b<is> @b<type> Time @b<is private>;> !corrigendum 9.6.1(2/2)