[m-rev.] trivial diff: remove double 'the's from user guide

[Julien Fischer]

doc/user_guide.texi:
	Fix a doubled up word pointed out by Peter Moulder.

	Fix another one as well.

Index: user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.445
diff -u -r1.445 user_guide.texi
--- user_guide.texi	26 Jul 2005 14:33:59 -0000	1.445
+++ user_guide.texi	27 Jul 2005 06:17:17 -0000
@@ -3065,7 +3065,7 @@
 The option @samp{-e} or @samp{--end}, if present,
 causes them to be added at the end.
 @sp 1
-By default, the the specified elements will be printed with format "flat".
+By default, the specified elements will be printed with format "flat".
 The options @samp{-f} or @samp{--flat}, @samp{-p} or @samp{--pretty},
 and @samp{-v} or @samp{--verbose}, if given,
 explicitly specify the format to use.
@@ -4178,7 +4178,7 @@
 The @samp{mark} command can only be given from within the interactive
 term browser and asserts that the marked subterm is incorrect.  The
 declarative debugger uses this information to better direct the bug search.
-If no argument is given the the current subterm is taken to be incorrect.
+If no argument is given the current subterm is taken to be incorrect.
 If a @var{term-path} is given then the subterm at @var{term-path} relative to
 the current subterm will be considered incorrect.
 @sp 1

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------