[m-rev.] trivial diff: fix mprof help text

[Peter Wang]

Branches: main, 11.07

profiler/options.m:
	Fix name of option `--snapshots-file' in help text.

diff --git a/profiler/options.m b/profiler/options.m
index 561c044..720aea5 100644
--- a/profiler/options.m
+++ b/profiler/options.m
@@ -201,7 +201,7 @@ options_help -->
     io.write_string("\t\tShow summary of heap objects at the times\n"),
     io.write_string("\t\t`benchmarking.report_memory_attribution' was called.\n"),
     io.write_string("\t\tThis overrides other profiler modes.\n"),
-    io.write_string("\t--snapshot-file <file>\n"),
+    io.write_string("\t--snapshots-file <file>\n"),
     io.write_string("\t\tName of the snapshots file. Usually `Prof.Snapshots'.\n"),
     io.write_string("\t-T, --snapshots-by-type\n"),
     io.write_string("\t\tGroup results by type.\n"),

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