[m-rev.] trivial diff: update debugger documentation

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Aug 24 21:48:40 AEST 2006

Estimated hours taken: 0
Branches: main, release

Fix a problem pointed out by Nick Nethercote.

 	Update a reference to mdb's set command.


Index: user_guide.texi
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.487
diff -u -r1.487 user_guide.texi
--- user_guide.texi	20 Aug 2006 05:41:39 -0000	1.487
+++ user_guide.texi	24 Aug 2006 11:41:57 -0000
@@ -2575,7 +2575,7 @@
  This is a non-interactive version of the @samp{browse} command (see below).
  Various settings which affect the way that terms are printed out
  (including e.g.@: the maximum term depth)
-can be set using the @samp{set} command.
+can be set using the @samp{format_param} command.
  @sp 1
  The options @samp{-f} or @samp{--flat}, @samp{-p} or @samp{--pretty},
  and @samp{-v} or @samp{--verbose} specify the format to use for printing.

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