diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/profiling.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/runtime_control.rst | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/profiling.rst b/docs/users_guide/profiling.rst index 20f2a83824..d3fdd6233e 100644 --- a/docs/users_guide/profiling.rst +++ b/docs/users_guide/profiling.rst @@ -754,7 +754,7 @@ reasons for this: data into. When using compacting collection (see the :rts-flag:`-c` option), this is reduced to 2L, and can further be reduced by tweaking the :rts-flag:`-F` option. Also add the size of the allocation area - (currently a fixed 512Kb). + (see :rts-flag:`-A`). - The stack isn't counted in the heap profile by default. See the RTS :rts-flag:`-xt` option. diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 3968065865..5226d6dc14 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -267,7 +267,7 @@ performance. .. rts-flag:: -A ⟨size⟩ - :default: 512k + :default: 1MB .. index:: single: allocation area, size |