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

--- ai05s/ai05-0179-1.txt	2010/01/30 05:56:31	1.3
+++ ai05s/ai05-0179-1.txt	2010/02/04 23:33:59	1.4
@@ -1,4 +1,4 @@
-!standard 5.1(2)                                  10-01-29  AI05-0179-1/02
+!standard 5.1(2)                                  10-02-04  AI05-0179-1/03
 !class Amendment 09-10-29
 !status work item 09-10-29
 !status received 09-10-29
@@ -61,28 +61,28 @@
 We define such a label as being followed by an implicit null_statement so
 that the formal semantics of a goto_statement is preserved (which transfers
 control to a statement, not to the label itself). Changing that semantics
-to something more consistent with the intuitive model mentioned in the
-!problem was considered, but seemed to have much more wording change than
-required for such a simple change to the language.
+to something more consistent with the intuitive model mentioned in
+the !problem was considered, but seemed to have much more wording change
+than required for such a simple change to the language.
 
 We retain the requirement that a sequence of statements include at least
 one statement (a label all by itself is still not allowed). So
 
-if A then
-   <<Lab>> -- Illegal
-end if;
+   if A then
+      <<Lab>> -- Illegal
+   end if;
 
 but
 
-if A then
-   <<Lab>> null;
-end if;
+   if A then
+      <<Lab>> null;
+   end if;
 
 and
 
-if A then
-   null; <<Lab>>
-end if;
+   if A then
+      null; <<Lab>>
+   end if;
 
 are allowed.