diff options
Diffstat (limited to 'docs/users_guide/using.xml')
| -rw-r--r-- | docs/users_guide/using.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 2868876737..7bf85ef382 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1524,10 +1524,7 @@ f "2" = 2 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. 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> + switches occur every 20ms.</para> </listitem> </varlistentry> </variablelist> |