trivial diff: fix another couple of typos in the IQ doc.

[Erwan Jahier]

Estimated hours taken: 0.1

doc/user_guide.texi:
	fix a couple of typos.


===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.163
diff -u -r1.163 user_guide.texi
--- user_guide.texi     1999/04/14 09:09:28     1.163
+++ user_guide.texi     1999/04/14 20:01:33
@@ -1360,7 +1360,7 @@
 For goals which perform I/O, you need to use @samp{io_query};
 this lets you type in the goal using DCG syntax.
 For goals which don't do I/O, but which have determinism
- at samp{cc_nondet} or @samp{cc_multi}, you you need to use @samp{cc_query};
+ at samp{cc_nondet} or @samp{cc_multi}, you need to use @samp{cc_query};
 this finds only one solution to the specified goal.
 For all other goals, you can use plain @samp{query}, which
 finds all the solutions to the goal.
@@ -1372,7 +1372,7 @@
 @sp 1
 The current implementation works by compiling the queries on-the-fly
 and then dynamically linking them into the program being debugged.
-Thus it make take a little while for your query to be executed.
+Thus it may take a little while for your query to be executed.
 Each query will be written to a file named @file{query.m} in the current
 directory, so make sure you don't name your source file @file{query.m}.
 Note that dynamic linking may not be supported on some systems;

-- 
R1.