--- ai12s/ai12-0143-1.txt 2015/01/30 05:23:09 1.2 +++ ai12s/ai12-0143-1.txt 2015/02/24 00:06:51 1.3 @@ -6,7 +6,7 @@ !status received 14-11-12 !priority Low !difficulty Easy -!subject Using a entry index of a family in a precondition +!subject Using an entry index of a family in a precondition !summary Add the E'Index attribute for preconditions and postconditions.