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

Differences between 1.12 and version 1.13
Log of other versions for file ai05s/ai05-0123-1.txt

--- ai05s/ai05-0123-1.txt	2009/11/24 06:09:31	1.12
+++ ai05s/ai05-0123-1.txt	2011/04/07 06:22:56	1.13
@@ -250,12 +250,12 @@
 
 @drepl
 For a type extension, predefined equality is defined in terms of the
-primitive [(possibly user-defined)] equals operator of the parent type
+primitive (possibly user-defined) equals operator of the parent type
 and of any tagged components of the extension part, and predefined
 equality for any other components not inherited from the parent type.
 @dby
 For a type extension, predefined equality is defined in terms of the
-primitive [(possibly user-defined)] equals operator for the parent type
+primitive (possibly user-defined) equals operator for the parent type
 and for any components that have a record type in the extension part, and
 predefined equality for any other components not inherited from the
 parent type.

Questions? Ask the ACAA Technical Agent