--- ai12s/ai12-0033-1.txt 2013/07/16 05:28:13 1.9 +++ ai12s/ai12-0033-1.txt 2013/07/18 05:05:30 1.10 @@ -154,7 +154,7 @@ @xcode< @b<function> Create (Set : CPU_Set) @b<return> Dispatching_Domain;> -@xcode< @b<function> Get_CPU_Set (Domain : Dispatching_Domain) @b<return> CPU_Set;> +@xcode< @b<function> Get_CPU_Set (Domain : Dispatching_Domain) @b<return> CPU_Set;> !corrigendum D.16.1(20/3)