diff options
Diffstat (limited to 'libstdc++-v3/docs/html/configopts.html')
-rw-r--r-- | libstdc++-v3/docs/html/configopts.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libstdc++-v3/docs/html/configopts.html b/libstdc++-v3/docs/html/configopts.html index 80ff219a974..b396a2d1822 100644 --- a/libstdc++-v3/docs/html/configopts.html +++ b/libstdc++-v3/docs/html/configopts.html @@ -136,9 +136,9 @@ options</a></h1> <dd><p>Select a target-specific underlying std::allocator. The choices are 'new' to specify a wrapper for new, 'malloc' to specify a wrapper for malloc, 'mt' for a fixed power of two allocator - (<a href="ext/mt_allocator.html">documented</a> under extensions) or - 'bitmap' for a bitmap allocator. This option can change the - library ABI. + (<a href="ext/mt_allocator.html">documented</a> under extensions), + 'pool' for the SGI pooled allocator or 'bitmap' for a bitmap allocator. + This option can change the library ABI. </p> </dd> |