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

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

--- ai12s/ai12-0193-1.txt	2016/12/22 05:38:10	1.6
+++ ai12s/ai12-0193-1.txt	2017/01/14 02:55:52	1.7
@@ -478,3 +478,16 @@
 however, just ask (always an option for an approved AI) and I'll set one up.
 
 ****************************************************************
+
+From: Randy Brukardt
+Sent: Wednesday, December 21, 2016  10:52 PM
+
+> ...
+>     AARM Ramification: In the case of an accept statement, the constant is
+>     declared inside of the rendezvous. It is considered part of the
+>     postcondition check, which is part of the rendezvous by definition
+>     (see 9.5.2).
+
+Your suggestion seems fine to me.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent