[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