[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