[m-rev.] trival diff: fix doubled up word in user's guide

Julien Fischer juliensf at csse.unimelb.edu.au
Sat Jul 16 17:59:28 AEST 2011

Branches: main, 11.07

 	Fix a doubled-up word.


Index: user_guide.texi
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.630
diff -u -r1.630 user_guide.texi
--- user_guide.texi	10 Jun 2011 04:44:45 -0000	1.630
+++ user_guide.texi	16 Jul 2011 07:58:08 -0000
@@ -6022,9 +6022,9 @@
  @code{benchmarking.report_memory_attribution/1} or
  at points of interest.
-The first argument of the @code{report_memory_attribution} predicates
-is a string that is used to label the the memory retention data
-corresponding to that call in the profiling output.
+The first argument of the @code{report_memory_attribution} predicates is a
+string that is used to label the memory retention data corresponding to that
+call in the profiling output.
  You may want to call them from within @samp{trace} goals:


mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list