From 11b63b0fcd21788ebb80ad11e034571ea0be2a89 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 13 May 2016 15:20:32 -0700
Subject: [PATCH] fix(util/small_object_allocator): warning

---
 src/util/small_object_allocator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/small_object_allocator.cpp b/src/util/small_object_allocator.cpp
index 76a273ea2a..14fc27cdde 100644
--- a/src/util/small_object_allocator.cpp
+++ b/src/util/small_object_allocator.cpp
@@ -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);