users guide: We no longer build libraries with -split-objs

We now generally use split-sections instead.

1 files changed, 1 insertions, 1 deletions

diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst
index 788b9befcd..f5f735b81b 100644
--- a/docs/users_guide/phases.rst
+++ b/docs/users_guide/phases.rst
@@ -745,7 +745,7 @@ for example).
     However, assembling all the sections separately is expensive, so
     this is slower than compiling normally. Additionally, the size of
     the library itself (the ``.a`` file) can be a factor of 2 to 2.5
-    larger. We use this feature for building GHC's libraries.
+    larger.
 
 .. ghc-flag:: -split-sections
     :shortdesc: Split sections for link-time dead-code stripping