CVS difference for ai12s/ai12-0149-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0149-1.txt

--- ai12s/ai12-0149-1.txt	2015/01/30 05:23:10	1.2
+++ ai12s/ai12-0149-1.txt	2015/02/28 02:43:32	1.3
@@ -7,11 +7,11 @@
 !priority Medium
 !difficulty Easy
 !qualifier Omission
-!subject Type invariants are checked for functions returning access-to-T
+!subject Type invariants are checked for functions returning access-to-type
 !summary
 
 Type invariants are checked for functions whose result is access to
-type with part of a type with an invariant.
+a type with a part of a type with an invariant.
 
 !question
 

Questions? Ask the ACAA Technical Agent