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

--- ai05s/ai05-0263-1.txt	2011/07/29 04:40:14	1.1
+++ ai05s/ai05-0263-1.txt	2011/11/01 05:32:53	1.2
@@ -42,12 +42,12 @@
 !corrigendum H.4(24)
 
 @drepl
-If an implementation supports pragma Restrictions for a particular argument, then except
+If an implementation supports @fa<pragma> Restrictions for a particular argument, then except
 for the restrictions No_Unchecked_Deallocation, No_Unchecked_Conversion,
 No_Access_Subprograms, and No_Unchecked_Access, the associated restriction applies
 to the run-time system. 
 @dby
-If an implementation supports pragma Restrictions for a particular argument, then except
+If an implementation supports @fa<pragma> Restrictions for a particular argument, then except
 for the restrictions No_Unchecked_Deallocation, No_Unchecked_Conversion,
 No_Access_Subprograms, No_Unchecked_Access, and the equivalent use of No_Dependence,
 the associated restriction applies to the run-time system.