--- ai12s/ai12-0212-1.txt 2019/04/03 06:12:12 1.27 +++ ai12s/ai12-0212-1.txt 2019/04/03 06:12:43 1.28 @@ -802,7 +802,7 @@ -- Example aggregates using Set_Type S : Set_Type; - -- Assign S to be the empty set + -- Assign the empty set to S: S := []; -- Is Equivalent to: