diff options
| author | Jan Hrček <honza.hrk@gmail.com> | 2020-06-24 15:55:39 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-28 09:20:22 -0400 |
| commit | 68530b1cd45629e5a353a37df80195ac54d26ade (patch) | |
| tree | a6aa929d32d9c1caff4ca57c5ffde238d7c9717a /rts/Stats.c | |
| parent | 42f797b0ad034a92389e7081aa50ef4ab3434d01 (diff) | |
| download | haskell-68530b1cd45629e5a353a37df80195ac54d26ade.tar.gz | |
Fix duplicated words and typos in comments and user guide
Diffstat (limited to 'rts/Stats.c')
| -rw-r--r-- | rts/Stats.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rts/Stats.c b/rts/Stats.c index 2fbd8b2655..80fca509ad 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -796,7 +796,7 @@ static void free_RTSSummaryStats(RTSSummaryStats * sum) static void report_summary(const RTSSummaryStats* sum) { // We should do no calculation, other than unit changes and formatting, and - // we should not not use any data from outside of globals, sum and stats + // we should not use any data from outside of globals, sum and stats // here. See Note [RTS Stats Reporting] uint32_t g; @@ -1019,7 +1019,7 @@ static void report_summary(const RTSSummaryStats* sum) static void report_machine_readable (const RTSSummaryStats * sum) { // We should do no calculation, other than unit changes and formatting, and - // we should not not use any data from outside of globals, sum and stats + // we should not use any data from outside of globals, sum and stats // here. See Note [RTS Stats Reporting] uint32_t g; @@ -1198,7 +1198,7 @@ static void report_machine_readable (const RTSSummaryStats * sum) static void report_one_line(const RTSSummaryStats * sum) { // We should do no calculation, other than unit changes and formatting, and - // we should not not use any data from outside of globals, sum and stats + // we should not use any data from outside of globals, sum and stats // here. See Note [RTS Stats Reporting] /* print the long long separately to avoid bugginess on mingwin (2001-07-02, |