[m-rev.] trivial diff: fix missing @samp{}

[Mark Anthony BROWN]

Estimated hours taken: 0.1

doc/user_guide.texi:
	Fix a missing @samp{}.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.246
diff -u -r1.246 user_guide.texi
--- doc/user_guide.texi	2001/03/18 23:10:06	1.246
+++ doc/user_guide.texi	2001/04/23 05:14:25
@@ -1297,7 +1297,8 @@
 @samp{d2;c3;?;}, @samp{d2;c3;t;} and @samp{d2;c3;e;}.
 
 Paths refer to the internal form of the procedure definition.
-When debugging is enabled (and the option --trace-optimized is not given),
+When debugging is enabled
+(and the option @samp{--trace-optimized} is not given),
 the compiler will try to keep this form
 as close as possible to the source form of the procedure,
 in order to make event paths as useful as possible to the programmer.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------