[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

doc/user_guide.texi:
 	Fix a doubled-up word.

Julien.

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
  @code{benchmarking.report_memory_attribution/3}
  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:

  @example

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