trivial diff: fix a typo in the user guide

[Erwan Jahier]

Estimated hours taken: 0.1

doc/user_guide.texi:
	fix a typo.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.162
diff -u -r1.162 user_guide.texi
--- user_guide.texi     1999/03/24 13:09:06     1.162
+++ user_guide.texi     1999/04/14 08:18:26
@@ -1717,8 +1717,8 @@
 @table @code
 @item mmc_options @var{option1} @var{option2} @dots{}
 This command sets the options that will be passed to @samp{mmc}
-to compile your query when you use one of the query commands
-(@samp{query}, @samp{cc_query}, or @samp{io_query}.
+to compile your query when you use one of the query commands:
+ at samp{query}, @samp{cc_query}, or @samp{io_query}.
 For example, if a query results in a compile error,
 it may sometimes be helpful to use @samp{mmc_options --verbose-errors}.
 @sp 1

-- 
R1.