Commit 96cfb110 authored by rwbarton's avatar rwbarton Committed by Krzysztof Gogolewski
Browse files

Fix name of vanilla RTS way in the user's guide

parent ffa8d223
......@@ -1435,7 +1435,7 @@ $ ./a.out +RTS --info
<term><literal>RTS way</literal></term>
<listitem>
<para>The variant (&ldquo;way&rdquo;) of the runtime. The
most common values are <literal>rts</literal> (vanilla),
most common values are <literal>rts_v</literal> (vanilla),
<literal>rts_thr</literal> (threaded runtime, i.e. linked using the
<literal>-threaded</literal> option) and <literal>rts_p</literal>
(profiling runtime, i.e. linked using the <literal>-prof</literal>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment