fix +RTS -S output: use peak_mblocks_allocated, now that mblocks can be freed
authorSimon Marlow <marlowsd@gmail.com>
Tue, 14 Sep 2010 13:50:30 +0000 (13:50 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 14 Sep 2010 13:50:30 +0000 (13:50 +0000)
commitac834f4821d2189a335d289a8d36e5fa70f1512d
treecf38aa7f83ef802c550f1548cd558c4972912ddb
parent6c5637803d14fd1035c38235123b4c112d1c2b00
fix +RTS -S output: use peak_mblocks_allocated, now that mblocks can be freed
rts/Stats.c