diff options
| -rw-r--r-- | docs/users_guide/runtime_control.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml index 0e13f0e933..b6cc1abaeb 100644 --- a/docs/users_guide/runtime_control.xml +++ b/docs/users_guide/runtime_control.xml @@ -49,8 +49,8 @@ wraparound in the counters is <emphasis>your</emphasis> fault!)</para> - <para>Giving a <literal>+RTS -f</literal> - <indexterm><primary><option>-f</option></primary><secondary>RTS option</secondary></indexterm> option + <para>Giving a <literal>+RTS -?</literal> + <indexterm><primary><option>-?</option></primary><secondary>RTS option</secondary></indexterm> option will print out the RTS options actually available in your program (which vary, depending on how you compiled).</para> |