CVS difference for ais/ai-00050.txt

--- ais/ai-00050.txt	2000/06/21 23:39:07	1.4
+++ ais/ai-00050.txt	2000/07/13 04:31:26	1.5
@@ -29,8 +29,8 @@
     operations on the other file.  In particular, reading from
     Standard_Input does not affect the current page, line, and column
     numbers for Standard_Output, nor does writing to Standard_Output
-    affect the current page, line, and column numbers for Standard_
-    Input.
+    affect the current page, line, and column numbers for
+    Standard_Input.
 
 What is the intended meaning of the statement, "Standard_Input and
 Standard_Output are associated with distinct external files", given that
@@ -39,7 +39,7 @@
 
 The NOTE in A.10.3(25) contradicts A.14(3):
 
-   (24) The standard input, standard output, and standard error files are
+   24  The standard input, standard output, and standard error files are
    different file objects, but not necessarily different external files.
 
 A.10(5-6) also discusses these files:
@@ -81,7 +81,7 @@
 
 It is not clear that A.14(3) is trying to say anything in addition to
 what A.14(2) already says for all text files.  Therefore, A.14(3) should
-simply be removed, as stated under wording above.
+simply be removed.
 
 !corrigendum A.14(03)