[m-rev.] diff: fix descripion of `--use-local-vars' option

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

compiler/options.m:
doc/user_guide.texi:
	The name of the `--use-local-vars' option does not match
	its description, which describes `--no-use-local-vars'.

Julien.

Workspace:/home/earth/juliensf/ws71
Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.456
diff -u -r1.456 options.m
--- compiler/options.m	7 Apr 2005 06:32:13 -0000	1.456
+++ compiler/options.m	26 Apr 2005 08:22:22 -0000
@@ -3986,7 +3986,7 @@
 		"\tConvert nondet calls into tail calls whenever possible, even",
 		"\twhen this requires a runtime check. This option tries to",
 		"\tminimize stack consumption, possibly at the expense of speed.",
-		"--use-local-vars",
+		"--no-use-local-vars",
 		"\tDisable the transformation to use local variables in C code",
 		"\tblocks wherever possible.",
 		"--no-optimize-labels",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.431
diff -u -r1.431 user_guide.texi
--- doc/user_guide.texi	11 Apr 2005 06:43:34 -0000	1.431
+++ doc/user_guide.texi	26 Apr 2005 08:24:01 -0000
@@ -7158,7 +7158,7 @@
 minimize stack consumption, possibly at the expense of speed.

 @sp 1
- at item --use-local-vars
+ at item --no-use-local-vars
 @findex --use-local-vars
 Disable the transformation to use local variables in C code
 blocks wherever possible.

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