From a1c24df0e6af4a545921ea783dc54d4ea07f1f03 Mon Sep 17 00:00:00 2001
From: Finley McIlwaine <finleymcilwaine@gmail.com>
Date: Thu, 11 Apr 2024 06:48:38 -0700
Subject: [PATCH] Correct default -funfolding-use-threshold in docs

---
 docs/users_guide/using-optimisation.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst
index e619c9a6c1ed..dd214a6d64e8 100644
--- a/docs/users_guide/using-optimisation.rst
+++ b/docs/users_guide/using-optimisation.rst
@@ -1626,7 +1626,7 @@ as such you shouldn't need to set any of them explicitly. A flag
     :ghc-flag:`-funfolding-use-threshold=⟨n⟩`.
 
 .. ghc-flag:: -funfolding-use-threshold=⟨n⟩
-    :shortdesc: *default: 80.* Tweak unfolding settings.
+    :shortdesc: *default: 90.* Tweak unfolding settings.
     :type: dynamic
     :category:
 
-- 
GitLab