CVS difference for 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