diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index e619c9a6c1ed306feb5626e3b14201cb087b3853..dd214a6d64e8386975ede3e316bd18383e161b1c 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: