[m-rev.] trivial diff: update stage number range in documentation

[Julien Fischer]

Estimated hours taken: 0.01
Branches: main

compiler/options.m:
doc/user_guide.texi:
	Update the stage number range for HLDS dumps.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.431
diff -u -r1.431 options.m
--- compiler/options.m	14 Oct 2004 02:15:50 -0000	1.431
+++ compiler/options.m	15 Oct 2004 02:52:46 -0000
@@ -2826,7 +2826,7 @@
 		"-d <n>, --dump-hlds <stage number or name>",
 		"\tDump the HLDS (high level intermediate representation) after",
 		"\tthe specified stage to `<module>.hlds_dump.<num>-<name>'.",
-		"\tStage numbers range from 1-99.",
+		"\tStage numbers range from 1-599.",
 		"\tMultiple dump options accumulate.",
 		"--dump-hlds-pred-id <n>",
 		"\tDump the HLDS only of the predicate/function with the given",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.391
diff -u -r1.391 user_guide.texi
--- doc/user_guide.texi	20 Sep 2004 04:50:23 -0000	1.391
+++ doc/user_guide.texi	15 Oct 2004 02:54:24 -0000
@@ -4886,7 +4886,7 @@
 Dump the HLDS (a high-level intermediate representation) after
 the specified stage number or stage name to
 @file{@var{module}.hlds_dump. at var{num}- at var{name}}.
-Stage numbers range from 1 to 99; not all stage numbers are valid.
+Stage numbers range from 1 to 599; not all stage numbers are valid.
 If a stage number is followed by a plus sign,
 all stages after the given stage will be dumped as well.
 The special stage name @samp{all} causes the dumping of all stages.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------