From d2976cf4c60e5c54902adc7b19b46614684bdc28 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 17 Nov 2005 09:46:35 +0000
Subject: [PATCH 1/1] [project @ 2005-11-17 09:46:35 by simonmar] small fixes
 to docs for +RTS -C

---
 ghc/docs/users_guide/using.xml |    7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/ghc/docs/users_guide/using.xml b/ghc/docs/users_guide/using.xml
index f9deafe..141dd4a 100644
--- a/ghc/docs/users_guide/using.xml
+++ b/ghc/docs/users_guide/using.xml
@@ -1725,17 +1725,16 @@ the default is 2.
 </listitem>
 </varlistentry>
 <varlistentry>
-<term><option>-C[&lt;us&gt;]</option>:</term>
+<term><option>-C[&lt;s&gt;]</option>:</term>
 <listitem>
 <para>
-<indexterm><primary>-C&lt;us&gt; RTS option</primary></indexterm> Sets
+<indexterm><primary>-C&lt;s&gt; RTS option</primary></indexterm> Sets
 the context switch interval to <literal>&lt;s&gt;</literal> seconds.
 A context switch will occur at the next heap block allocation after
 the timer expires (a heap block allocation occurs every 4k of
 allocation).  With <option>-C0</option> or <option>-C</option>,
 context switches will occur as often as possible (at every heap block
-allocation).  By default, context switches occur every 20ms
-milliseconds.  Note that GHC's internal timer ticks every 20ms, and
+allocation).  By default, context switches occur every 20ms.  Note that GHC's internal timer ticks every 20ms, and
 the context switch timer is always a multiple of this timer, so 20ms
 is the maximum granularity available for timed context switches.
 </para>
-- 
1.7.10.4