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

[Julien Fischer]

Estimated hours taken: 0
Branches: main, release

Fix a problem pointed out by Nick Nethercote.

doc/user_guide.texi:
 	Update a reference to mdb's set command.

Julien.

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