From 46f7123cc8b4ff3c3cc67c719b3ce71bdbd35ef6 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 16 Sep 2015 07:34:08 -0700
Subject: [PATCH] fix(runtime/cpp): typo

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

diff --git a/src/runtime/cpp/lean_runtime.cpp b/src/runtime/cpp/lean_runtime.cpp
index 72e61d63e9..af3ef60704 100644
--- a/src/runtime/cpp/lean_runtime.cpp
+++ b/src/runtime/cpp/lean_runtime.cpp
@@ -36,7 +36,7 @@ public:
             m_free_list[n] = *(reinterpret_cast<void **>(r));
             return r;
         } else {
-            return malloc(sizeof(obj) + sizeof(void*)*n); // NOLINT
+            return malloc(sizeof(obj_cell) + sizeof(void*)*n); // NOLINT
         }
     }