diff options
Diffstat (limited to 'docs/users_guide')
-rw-r--r-- | docs/users_guide/using-optimisation.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index d6c24de502..84664062dc 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -888,6 +888,8 @@ by saying ``-fno-wombat``. :shortdesc: Run a late specialisation pass :type: dynamic :reverse: -fno-late-specialise + :category: + :default: off Runs another specialisation pass towards the end of the optimisation |