diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index f22e6c9edf..c9e6183d04 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -6309,7 +6309,7 @@ exactly what you asked for, no more and no less. there was no pragma). </para></listitem> <listitem> - <para>"<literal>INLINE[~k] f</literal>" means: be willing to inline + <para>"<literal>NOINLINE[~k] f</literal>" means: be willing to inline <literal>f</literal> until phase <literal>k</literal>, but from phase <literal>k</literal> onwards do not inline it. |