[m-rev.] diff: fix error in user's guide
Julien Fischer
jfischer at opturion.com
Wed Jan 14 11:41:56 AEDT 2015
Fix an error in user's guide.
doc/user_guide.texi:
Add a missing word.
Julien.
diff --git a/doc/user_guide.texi b/doc/user_guide.texi
index cbea805..4dd732c 100644
--- a/doc/user_guide.texi
+++ b/doc/user_guide.texi
@@ -2222,7 +2222,7 @@ you can use "^@samp{n}" to refer to the @var{n}th subterm of that term.
If the term's type has named fields,
you can use "^@samp{fname}" to refer to
the subterm of the field named @samp{fname}.
-You can use several of subterm specifications in a row
+You can use several of these subterm specifications in a row
to refer to subterms deep within the original term.
For example, when applied to a list,
"^2" refers to the tail of the list
More information about the reviews
mailing list