diff options
Diffstat (limited to 'doc/html/boost/container/pmr/set_default_resource.html')
-rw-r--r-- | doc/html/boost/container/pmr/set_default_resource.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/boost/container/pmr/set_default_resource.html b/doc/html/boost/container/pmr/set_default_resource.html index 4c55669bbc..d3429797e3 100644 --- a/doc/html/boost/container/pmr/set_default_resource.html +++ b/doc/html/boost/container/pmr/set_default_resource.html @@ -35,7 +35,7 @@ </span> <a class="link" href="memory_resource.html" title="Class memory_resource">memory_resource</a> <span class="special">*</span> <span class="identifier">set_default_resource</span><span class="special">(</span><a class="link" href="memory_resource.html" title="Class memory_resource">memory_resource</a> <span class="special">*</span> r<span class="special">)</span><span class="special">;</span></pre></div> <div class="refsect1"> -<a name="idm45928104795648"></a><h2>Description</h2> +<a name="idp288114368"></a><h2>Description</h2> <p><span class="bold"><strong>Effects</strong></span>: If r is non-null, sets the value of the default memory resource pointer to r, otherwise sets the default memory resource pointer to new_delete_resource().</p> <p><span class="bold"><strong>Postconditions</strong></span>: get_default_resource() == r.</p> <p><span class="bold"><strong>Returns</strong></span>: The previous value of the default memory resource pointer.</p> |