fix(util/small_object_allocator): warning

This commit is contained in:
Leonardo de Moura 2016-05-13 15:20:32 -07:00
parent 0c0dec8aa6
commit 11b63b0fcd

View file

@ -55,7 +55,7 @@ void small_object_allocator::deallocate(size_t size, void * p) {
if (size == 0) return;
#if LEAN_DEBUG
// Valgrind friendly
delete[] p;
delete[] static_cast<char*>(p);
return;
#endif
lean_assert(m_alloc_size >= size);