[m-rev.] trivial diff: fix a typo in the user guide
Julien Fischer
juliensf at cs.mu.OZ.AU
Wed Jul 27 00:36:20 AEST 2005
doc/user_guide.texi:
Fix a typo: s/tern-path/term-path/
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.444
diff -u -r1.444 user_guide.texi
--- doc/user_guide.texi 22 Jul 2005 06:57:49 -0000 1.444
+++ doc/user_guide.texi 26 Jul 2005 14:16:29 -0000
@@ -4179,7 +4179,7 @@
term browser and asserts that the marked subterm is incorrect. The
declarative debugger uses this information to better direct the bug search.
If no argument is given the the current subterm is taken to be incorrect.
-If a @var{term-path} is given then the subterm at @var{tern-path} relative to
+If a @var{term-path} is given then the subterm at @var{term-path} relative to
the current subterm will be considered incorrect.
@sp 1
@item pd
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list