summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKirill Elagin <kirelagin@gmail.com>2019-05-13 09:20:50 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-05-21 17:04:54 -0400
commit9342b1fabd09e8bbebb982b07f129da266f7c586 (patch)
tree0effcba273170dcfe7c0269b1067a7c8bd9eefaf
parent0af519ac583c3544b1c4b1315b38ba0174d3ccb1 (diff)
downloadhaskell-9342b1fabd09e8bbebb982b07f129da266f7c586.tar.gz
users-guide: Fix -rtsopts default
-rw-r--r--docs/users_guide/phases.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst
index b88ae694fe..fb66370097 100644
--- a/docs/users_guide/phases.rst
+++ b/docs/users_guide/phases.rst
@@ -937,7 +937,7 @@ for example).
:type: dynamic
:category: linking
- :default: all
+ :default: some
This option affects the processing of RTS control options given
either on the command line or via the :envvar:`GHCRTS` environment