[m-dev.] trivial diff: Fix a couple of typos in the documentation of Morphine

[Erwan Jahier]

Estimated hours taken: 0.1
 
extras/morphine/source/current_slots.op:
extras/morphine/source/forward_move.op:
	Fix a couple of typos.

Index: current_slots.op
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/morphine/source/current_slots.op,v
retrieving revision 1.4
diff -u -r1.4 current_slots.op
--- current_slots.op    1999/12/20 14:44:12     1.4
+++ current_slots.op    2000/08/15 15:51:52
@@ -79,7 +79,8 @@
 current(chrono = Chrono and name = Name)  (or current([chrono = Chrono, \
 name = Name])) will unify Chrono with the chronological \
 event number and Name with the procedure name of the current event. \
-current(depth = 3) will succeed iff the depth of the current event is 3. \
+current(depth = 3) will succeed if and only if the depth of the current \
+event is 3. \
 current(args = [Arg1, -, -]) will unify Arg1 with the first argument of the \
 current procedure if is live. \n\
  \n\

Index: forward_move.op
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/morphine/source/forward_move.op,v
retrieving revision 1.4
diff -u -r1.4 forward_move.op
--- forward_move.op     1999/12/20 14:44:14     1.4
+++ forward_move.op     2000/08/15 15:35:51
@@ -80,7 +80,7 @@
 proc = foo/2)  \
 will make the execution move forwards until the first event \
 which chronological event number is 20 or 789, depth is 3, 4, 5 or 6, \
-procedure name is foo and arity is not 2. \
+procedure name is foo and arity is 2. \
 You can also use a list as an argument of fget: \
 fget([chrono=[20, 789], depth = 3..6, proc = foo/2]) will have the \
 same effect as the previous goal.\


-- 
R1.


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------