CVS difference for ai05s/ai05-0153-3.txt

--- ai05s/ai05-0153-3.txt	2011/06/03 02:27:29	1.18
+++ ai05s/ai05-0153-3.txt	2011/08/17 00:24:12	1.19
@@ -4072,3 +4072,37 @@
 it is spelled.)
 
 ****************************************************************
+
+!topic Subtype Predicates, Statis/Dynamic_Predicate
+!reference Ada 2012 RM-3.2.4
+!from Christoph Grein 2011-06-24
+!discussion
+
+The syntax of Static_Predicate and Dynamic_Predicate seems missing.
+
+In (2/3), the index entries are mentioned in {}, but the definition is missing.
+I searched the whole text for Static_Predicate and Dynamic_Predicate to no avail.
+
+****************************************************************
+
+From: Christoph Grein
+Sent: Tuesday, June 28, 2011  12:43 PM
+
+I guess I got confused by 3.4.2(2/3):
+...{Term=[expected type],Sec=[expression of a predicate aspect] [partial]}
+
+Now that I read the complete AI, I see this must be some spurious text since there
+is nothing like this in the AI. So just remove the weird text in braces, then
+everything is OK.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Tuesday, July  5, 2011  6:11 PM
+
+It's not that weird, it's just the command syntax for a 2-part index entry.
+That shows up if I use the one-part index entry command name by mistake (Defn
+vs. Defn2). It happens fairly often, but I usually catch it -- apparently not
+this time. Anyway, it's easily fixed (just add the missing '2').
+
+****************************************************************