Fixes #188 ("Build fails when RTTI is disabled")

This commit is contained in:
Ion Gaztañaga
2021-08-08 00:06:01 +02:00
parent aa479c8eee
commit aaa2485ebf
6 changed files with 16 additions and 17 deletions

View File

@@ -87,7 +87,7 @@ void synchronized_pool_resource::do_deallocate(void* p, std::size_t bytes, std::
}
bool synchronized_pool_resource::do_is_equal(const memory_resource& other) const BOOST_NOEXCEPT //virtual
{ return this == dynamic_cast<const synchronized_pool_resource*>(&other); }
{ return this == &other; }
std::size_t synchronized_pool_resource::pool_count() const
{ return m_pool_resource.pool_count(); }