[m-rev.] diff: small fix for reference manual

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix an awkward looking sentence in the reference manual.

doc/reference_manual.texi:
	s/that that/that the.

Workspace:/home/earth/juliensf/ws53
Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.306
diff -u -r1.306 reference_manual.texi
--- reference_manual.texi	21 Jan 2005 05:35:13 -0000	1.306
+++ reference_manual.texi	25 Jan 2005 07:02:09 -0000
@@ -8106,7 +8106,7 @@
 reordered as the compiler desires (within the bounds of the semantics
 the user has specified for the program) as long as they are not moved
 across an impure goal.  Execution of impure goals is strict: they must
-be executed if they are reached, even if it can be determined that that
+be executed if they are reached, even if it can be determined that the
 computation cannot lead to successful termination.

 Semipure goals can be given a ``contextual'' declarative semantics.

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