diff options
author | Tuncer Ayaz <[email protected]> | 2011-11-14 19:47:28 +0100 |
---|---|---|
committer | Tuncer Ayaz <[email protected]> | 2011-12-05 17:29:10 +0100 |
commit | f4f52a7e9d2f44b130ae94228c0ef14eb6c9aade (patch) | |
tree | ea07c90645802d4897decfe4ccd20d59bd12ab82 | |
parent | bcb385e34e9ea86e32bb1b26a8c2f5792549c142 (diff) | |
download | otp-f4f52a7e9d2f44b130ae94228c0ef14eb6c9aade.tar.gz otp-f4f52a7e9d2f44b130ae94228c0ef14eb6c9aade.tar.bz2 otp-f4f52a7e9d2f44b130ae94228c0ef14eb6c9aade.zip |
Fix typo in erts_alloc(3)
-rw-r--r-- | erts/doc/src/erts_alloc.xml | 4 |
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> |