[m-rev.] trivial diff: fix description of --no-warn-non-term-special-preds

[Julien Fischer]

Minor documentation fix.

doc/user_guide.texi:
compiler/options.m:
 	Solver type initialisation predicates were removed some time ago.

Julien.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.583
diff -u -r1.583 user_guide.texi
--- doc/user_guide.texi	16 Apr 2009 01:45:08 -0000	1.583
+++ doc/user_guide.texi	21 Apr 2009 02:14:11 -0000
@@ -6266,9 +6266,8 @@
  @item --no-warn-non-term-special-preds
  @findex --no-warn-non-term-special-preds
  Do not warn about types that have user-defined equality or
-comparison predicates, or solver type initialisation predicates
-that cannot be proved to terminate.  This option is only
-enabled when termination analysis is enabled.
+comparison predicates that cannot be proved to terminate.
+This option is only enabled when termination analysis is enabled.
  (See @ref{Termination analysis options} for further details).

  @sp 1
Index: compiler/options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.645
diff -u -r1.645 options.m
--- compiler/options.m	16 Apr 2009 01:45:08 -0000	1.645
+++ compiler/options.m	21 Apr 2009 02:16:42 -0000
@@ -3319,9 +3319,8 @@
          "\ta `pragma inline' declaration.",
          "--no-warn-non-term-special-preds",
          "\tDo not warn about types that have user-defined equality or",
-        "\tcomparison predicates, or solver type initialisation predicates",
-        "\tthat cannot be proved to terminate.  This option is only",
-        "\tenabled when termination analysis is enabled.",
+        "\tcomparison predicates that cannot be proved to terminate.",
+        "\tThis option is only enabled when termination analysis is enabled.",
          "\t(See the ""Termination Analysis Options"" section below).",
          "--no-warn-known-bad-format-calls",
          "\tDo not warn about calls to string.format or io.format that",

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------