diff options
Diffstat (limited to 'docs/users_guide/phases.rst')
| -rw-r--r-- | docs/users_guide/phases.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst index 797b10e8fe..73d9777f99 100644 --- a/docs/users_guide/phases.rst +++ b/docs/users_guide/phases.rst @@ -190,7 +190,7 @@ the following flags: specified compiler will support it. This flag can be used to indicate that ``-no-pie`` is supported. It has to be passed after ``-pgmc``. - This flag is not neccessary when ``-pgmc`` is not used, since GHC + This flag is not necessary when ``-pgmc`` is not used, since GHC remembers whether the default C compiler supports ``-no-pie`` in an internal settings file. |