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

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0236-1.txt

--- ai12s/ai12-0236-1.txt	2018/12/07 05:36:44	1.5
+++ ai12s/ai12-0236-1.txt	2019/01/11 08:27:40	1.6
@@ -2572,3 +2572,19 @@
 
 ***************************************************************
 
+From: Brad Moore
+Sent: Monday, December 24, 2018  9:07 AM
+
+> A handful of comments:
+
+Another comment on this AI.
+I believe this example from the !examples section,
+
+   Type_Invariant =>
+      (M : constant Integer := Integer'Max(T.A, T.B); begin
+        (if M > 0 then M > T.C else M < T.D))
+
+is missing the "declare" keyword.
+
+***************************************************************
+

Questions? Ask the ACAA Technical Agent