[m-rev.] trivial diff: consistent hyphenation in user guide

[Julien Fischer]

Estimated hours taken: 0
Branches: main

doc/user_guide.texi:
 	Refer to --no-high-level-code rather than --no-highlevel-code, since
 	the former hyphenation corresponds to what is used everywhere else.

Index: user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.565
diff -u -r1.565 user_guide.texi
--- user_guide.texi	10 Jun 2008 04:04:59 -0000	1.565
+++ user_guide.texi	10 Jun 2008 06:42:25 -0000
@@ -7582,7 +7582,7 @@
  @findex --experimental-complexity
  Enable experimental complexity analysis
  for the predicates listed in the given file.
-This option is supported for the C back-end, with --no-highlevel-code.
+This option is supported for the C back-end, with @samp{--no-high-level-code}.
  For now, this option itself is for developers only.

  @sp 1

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