[m-rev.] trivial diff: fix a typo in the user guide

[Julien Fischer]

On Wed, 27 Jul 2005, Peter Moulder wrote:

> On Wed, Jul 27, 2005 at 12:36:20AM +1000, Julien Fischer wrote:
>
> > --- doc/user_guide.texi	22 Jul 2005 06:57:49 -0000	1.444
> > +++ doc/user_guide.texi	26 Jul 2005 14:16:29 -0000
> > @@ -4179,7 +4179,7 @@
> >  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 a @var{term-path} is given then the subterm at @var{tern-path} relative to
> > +If a @var{term-path} is given then the subterm at @var{term-path} relative to
>
> The line above that has a `the the' mistake.
>
So it does, thanks for spotting that.

> (Perhaps do a global search for `the the', as this seems a relatively
> common error.  It's especially hard to spot when the repeated word is at
> the end of one line and the beginning of the next; perhaps something
> like
>
I've done a global search for doubled words in the past; the problem
here is that I haven't done it since Ian add the above documentation.

Cheers,
Julien.

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