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

--- ai05s/ai05-0245-1.txt	2012/01/27 23:23:11	1.8
+++ ai05s/ai05-0245-1.txt	2012/02/19 04:54:05	1.9
@@ -136,7 +136,7 @@
 
 @xbullet<New syntax (the aspect specification) is introduced to enable
 properties to be specified for various entities in a more structured manner
-than through pragmas. See clause 13.3.1.>
+than through pragmas. See clause 13.1.1.>
 
 @xbullet<The concept of assertions introduced in the 2005 edition is extended
 with the ability to specify preconditions and postconditions for subprograms,