diff options
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: |