diff options
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index 9812c455e6..8d4bb64330 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -99,7 +99,7 @@ to the files ``Foo.hs`` and ``Bar.hs``. ``-fno-specialise -O1`` - ``-fspecialise`` will be enabled as the ``-fno-specialise`` is overriden + ``-fspecialise`` will be enabled as the ``-fno-specialise`` is overridden by the ``-O1``. ``-O1 -fno-specialise`` |