CVS difference for ais/ai-00130.txt

--- ais/ai-00130.txt	2000/04/14 01:45:07	1.10
+++ ais/ai-00130.txt	2000/07/13 04:31:28	1.11
@@ -11,7 +11,7 @@
 !priority Medium
 !difficulty Medium
 !qualifier Clarification
-!subject Enforcing Restrictions might violate the generic contract model.
+!subject Enforcing Restrictions might violate the generic contract model
 
 !summary
 
@@ -35,6 +35,7 @@
 H.4(8) says:
 
    No_Local_Allocators
+
       Allocators are prohibited in subprograms, generic subprograms, tasks
       and entry bodies; instantiations of generic packages are also
       prohibited in these contexts.
@@ -119,7 +120,7 @@
 Furthermore, the pragma Restrictions is primarily designed to
 support application environments where schedulability
 and formal verification requirements dictate that generics
-can only be certified with respected to particular instantiations --
+can only be certified with respect to particular instantiations --
 never in the abstract.
 
 A more serious problem with the rules given for the No_Task_Hierarchy