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

--- ai05s/ai05-0042-1.txt	2008/11/27 00:04:12	1.7
+++ ai05s/ai05-0042-1.txt	2012/02/19 04:54:03	1.8
@@ -62,7 +62,7 @@
 with the same identifier within the task declaration, whose profile is
 type conformant with the prefixed view profile of the inherited subprogram,
 the inherited subprogram is said to be implemented by the conforming
-task entry {using an implicitly declared non-abstract subprogram which
+task entry {using an implicitly declared nonabstract subprogram which
 has the same profile as the inherited subprogram and which overrides it}.
 
 AARM Reason: The part about the implicitly declared subprogram is needed so
@@ -83,7 +83,7 @@
 protected declaration, whose profile is type conformant with the prefixed view
 profile of the inherited subprogram, the inherited subprogram is said to be
 implemented by the conforming protected subprogram or entry {using
-an implicitly declared non-abstract subprogram which has the same profile
+an implicitly declared nonabstract subprogram which has the same profile
 as the inherited subprogram and which overrides it}.
 
 !discussion
@@ -117,7 +117,7 @@
 with the same identifier within the task declaration, whose profile is
 type conformant with the prefixed view profile of the inherited subprogram,
 the inherited subprogram is said to be @i<implemented> by the conforming
-task entry using an implicitly declared non-abstract subprogram which
+task entry using an implicitly declared nonabstract subprogram which
 has the same profile as the inherited subprogram and which overrides it.
 
 
@@ -145,7 +145,7 @@
 protected declaration, whose profile is type conformant with the prefixed view
 profile of the inherited subprogram, the inherited subprogram is said to be
 @i<implemented> by the conforming protected subprogram or entry using
-an implicitly declared non-abstract subprogram which has the same profile
+an implicitly declared nonabstract subprogram which has the same profile
 as the inherited subprogram and which overrides it.
 
 !ACATS test