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

--- ai12s/ai12-0039-1.txt	2013/06/29 02:19:58	1.5
+++ ai12s/ai12-0039-1.txt	2013/10/24 00:20:19	1.6
@@ -361,8 +361,12 @@
 !ACATS test
 
 An ACATS B-Test could be created to test these rules, but we generally don't
-test syntax rules (and the rules given in the Ada 2012 cannot be usefully
-implemented).
+test syntax rules (and the rules given in the Ada 2012 Standard cannot be
+usefully implemented).
+
+!ASIS
+
+No ASIS impact.
 
 !appendix