[m-rev.] for review: fix nondet_stack documentation

[Ian MacLarty]

For review by anyone.

Estimated hours taken: 0.1
Branches: main, 0.12

doc/user_guide.texi:
	Fix nondet_stack documentation.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.442
diff -u -r1.442 user_guide.texi
--- doc/user_guide.texi	11 Jul 2005 07:30:25 -0000	1.442
+++ doc/user_guide.texi	21 Jul 2005 05:22:24 -0000
@@ -3764,11 +3764,11 @@
 @item nondet_stack [-d] [-f at var{numframes}] [@var{numlines}]
 @kindex nondet_stack (mdb command)
 Prints the contents of the frames on the nondet stack.
-By default, it prints only of the fixed slots in each nondet stack frame,
-but if the option @samp{-d} or @samp{--detailed} option is given,
+By default, it prints only the fixed slots in each nondet stack frame,
+but if the @samp{-d} or @samp{--detailed} option is given,
 it will also print the names and values of the live variables in them.
 @sp 1
-If the @samp{-f} option, if present, specifies that
+The @samp{-f} option, if present, specifies that
 only the topmost @var{numframes} stack frames should be printed.
 @sp 1
 The optional number @var{numlines}, if present,

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------