[m-dev.] for review: fix grammatical error in io.m documentation

[Robert Ernst Johann JESCHOFNIK]

Estimated hours taken: 0.1

library//io.m:
	Fix a grammatical error in a comment
	(that gets included in the library documentation)

Index: library//io.m
===================================================================
RCS file: /home/mercury1/repository//mercury/library/io.m,v
retrieving revision 1.193
diff -u -r1.193 io.m
--- library//io.m	2000/01/08 06:42:51	1.193
+++ library//io.m	2000/02/04 00:04:37
@@ -202,8 +202,8 @@
 %		If characters on the input stream (up to the next `.' that
 %		is followed by whitespace) do not form a syntactically
 %		correct term, or if the term read is not a ground term,
-%		if the term is not a valid term of the appropriate type,
-%		or if encounters an I/O error, then it returns
+%		or if the term is not a valid term of the appropriate type,
+%		or if an I/O error is encountered, then it returns
 %		`error(Message, LineNumber)'.
 
 % The type `posn' represents a position within a string.


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------