From b7233ff507b58638fef3fb2ac219ae1eccdf27f3 Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Wed, 18 Feb 2026 13:51:39 +1100 Subject: [PATCH] Minor fixes for profiler documentation. profiler/mercury_profile.m: Fix some comments. profiler/options.m: Add a missing period. --- profiler/mercury_profile.m | 4 ++-- profiler/options.m | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/profiler/mercury_profile.m b/profiler/mercury_profile.m index 51bc0619a..4cc8cd040 100644 --- a/profiler/mercury_profile.m +++ b/profiler/mercury_profile.m @@ -78,7 +78,7 @@ postprocess_options(Args, !IO) :- VeryVerbose = no ), - % Any empty list of arguments implies that we must build the call + % An empty list of arguments implies that we must build the call % graph from the dynamic information. ( Args = [], @@ -116,7 +116,7 @@ usage_error(ErrorMessage, !IO) :- % Display short_usage message. % XXX the only place we call short_usage is in usage_error above. - % Also: why does the default name of the executable differ betweeen + % Also: why does the default name of the executable differ between % the two? :- pred short_usage(io.text_output_stream::in, io::di, io::uo) is det. diff --git a/profiler/options.m b/profiler/options.m index 54970cf96..0a3122d64 100644 --- a/profiler/options.m +++ b/profiler/options.m @@ -2,7 +2,7 @@ % vim: ft=mercury ts=4 sw=4 et %---------------------------------------------------------------------------% % Copyright (C) 1995-1997, 2000-2001, 2004-2006, 2011-2012 The University of Melbourne. -% Copyright (C) 2015, 2019, 2021, 2023 The Mercury team. +% Copyright (C) 2015, 2019, 2021, 2023, 2026 The Mercury team. % This file may only be copied under the terms of the GNU General % Public License - see the file COPYING in the Mercury distribution. %---------------------------------------------------------------------------% @@ -189,7 +189,7 @@ options_help(Stream, !IO) :- "\tSelect what to profile: time, amount of memory allocated, or", "\tnumber of memory allocations (regardless of size).", "-m", - "\tSame as `--profile memory-words'", + "\tSame as `--profile memory-words'.", "-M", "\tSame as `--profile memory-cells'.", "-t",