diff options
author | Brian Wignall <brianwignall@gmail.com> | 2019-12-19 09:11:42 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-04 15:55:06 -0500 |
commit | 3c9dc06ba2034e867c9169e60e854539875654fd (patch) | |
tree | f06e599ca380ee9ad599918b2ae4c78cd4afce2b /rts/Stats.c | |
parent | b2e0323f318959c879629ef277f6433b44473c4b (diff) | |
download | haskell-3c9dc06ba2034e867c9169e60e854539875654fd.tar.gz |
Fix typos, via a Levenshtein-style corrector
Diffstat (limited to 'rts/Stats.c')
-rw-r--r-- | rts/Stats.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Stats.c b/rts/Stats.c index 41427d0430..889f6d92f3 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -617,7 +617,7 @@ There are currently three reporting functions: * report_machine_readable: Responsible for producing '+RTS -t --machine-readable' output. * report_one_line: - Responsible for productin '+RTS -t' output + Responsible for producing '+RTS -t' output Stats are accumulated into the global variable 'stats' as the program runs, then in 'stat_exit' we do the following: |