CVS difference for ai05s/ai05-0040-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai05s/ai05-0040-1.txt

--- ai05s/ai05-0040-1.txt	2008/11/27 00:04:12	1.5
+++ ai05s/ai05-0040-1.txt	2008/12/20 06:43:47	1.6
@@ -17,10 +17,10 @@
 One of the submitted tests for limited with clauses includes the following example:
-limited with BA12010; -- ERROR:
-package BA12010.Pak1 is
-    pragma Elaborate_Body;
-end BA12010.Pak1;
+   limited with BA12010; -- ERROR:
+   package BA12010.Pak1 is
+      pragma Elaborate_Body;
+   end BA12010.Pak1;
 It seems that this should be illegal, as it is useless at best, and similar cases are
 illegal. But none of the existing rules seem to cover it.

Questions? Ask the ACAA Technical Agent