aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTuncer Ayaz <[email protected]>2011-11-14 19:47:28 +0100
committerTuncer Ayaz <[email protected]>2011-12-05 17:29:10 +0100
commitf4f52a7e9d2f44b130ae94228c0ef14eb6c9aade (patch)
treeea07c90645802d4897decfe4ccd20d59bd12ab82
parentbcb385e34e9ea86e32bb1b26a8c2f5792549c142 (diff)
downloadotp-f4f52a7e9d2f44b130ae94228c0ef14eb6c9aade.tar.gz
otp-f4f52a7e9d2f44b130ae94228c0ef14eb6c9aade.tar.bz2
otp-f4f52a7e9d2f44b130ae94228c0ef14eb6c9aade.zip
Fix typo in erts_alloc(3)
-rw-r--r--erts/doc/src/erts_alloc.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/erts/doc/src/erts_alloc.xml b/erts/doc/src/erts_alloc.xml
index 8378e7c676..ec5e7d9b74 100644
--- a/erts/doc/src/erts_alloc.xml
+++ b/erts/doc/src/erts_alloc.xml
@@ -212,8 +212,8 @@
<p>Apart from the ordinary allocators described above a number of
pre-allocators are used for some specific data types. These
pre-allocators pre-allocate a fixed amount of memory for certain data
- types when the run-time system starts. As long as there are available
- pre-allocated memory, it will be used. When no pre-allocated memory is
+ types when the run-time system starts. As long as pre-allocated memory
+ is available, it will be used. When no pre-allocated memory is
available, memory will be allocated in ordinary allocators. These
pre-allocators are typically much faster than the ordinary allocators,
but can only satisfy a limited amount of requests.</p>