[m-dev.] trivial diff: fix grammatical error in user_guide.texi

[Robert_William HUTTON]

Hi,

===================================================================

Estimated hours taken:  0.1

doc/user_guide.texi
	Fix grammatical error

Index: user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.200
diff -u -b -r1.200 user_guide.texi
--- user_guide.texi     2000/01/10 00:43:58     1.200
+++ user_guide.texi     2000/02/04 06:31:02
@@ -2422,7 +2422,7 @@
 The default is user time plus system time,
 which counts all time spent executing the process,
 including time spent by the operating system performing
-working on behalf of the process,
+work on behalf of the process,
 but not including time that the process was suspended
 (e.g. due to time slicing, or while waiting for input).
 When measuring real time, profiling counts

-- 
Robert Hutton <rwh at ecr.mu.oz.au>     | War doesn't demonstrate who's
WWW: <http://www.ecr.mu.oz.au/~rwh>  | right... just who's left.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------