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