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

--- ai05s/ai05-0013-1.txt	2008/11/26 23:58:33	1.16
+++ ai05s/ai05-0013-1.txt	2012/01/05 06:19:31	1.17
@@ -82,8 +82,8 @@
           particular restriction, such a requirement applies to all of
           the units comprising the partition and is enforced via a
           post-compilation check.
-        - A restriction may impose requirements on the runtime behavior
-          of the program, as indicated by the specification of runtime
+        - A restriction may impose requirements on the run-time behavior
+          of the program, as indicated by the specification of run-time
           behavior associated with a violation of the requirement.
 
           AARM Ramification: In this latter case, there is no post-compilation
@@ -222,8 +222,8 @@
 particular restriction, such a requirement applies to all of
 the units comprising the partition and is enforced via a
 post-compilation check.>
-@xbullet<A restriction may impose requirements on the runtime behavior
-of the program, as indicated by the specification of runtime
+@xbullet<A restriction may impose requirements on the run-time behavior
+of the program, as indicated by the specification of run-time
 behavior associated with a violation of the requirement.>
 
 !corrigendum D.7(3)