CVS difference for ai05s/ai05-0230-1.txt

--- ai05s/ai05-0230-1.txt	2011/01/06 00:53:02	1.4
+++ ai05s/ai05-0230-1.txt	2011/04/30 07:28:36	1.5
@@ -30,7 +30,7 @@
 Modify 13.3.2(9/3) [added by AI05-0145-2]:
 
    The Pre or Post aspect shall not be specified for an abstract
-   subprogram {or a null procedure}. Redunant[Only the Pre'Class
+   subprogram {or a null procedure}. [Redundant: Only the Pre'Class
    and Post'Class aspects may be specified for such a subprogram.]
 
 !discussion