From 84a80b343af62ec60e4d661a76468f3a5027971c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 9 Sep 2015 19:39:22 -0700 Subject: [PATCH] chore(runtime/cpp): fix style --- src/runtime/cpp/lean_runtime.cpp | 2 +- src/runtime/cpp/lean_runtime.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/runtime/cpp/lean_runtime.cpp b/src/runtime/cpp/lean_runtime.cpp index a7d51abc6..72e61d63e 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(r)); return r; } else { - return malloc(sizeof(obj) + sizeof(void*)*n); + return malloc(sizeof(obj) + sizeof(void*)*n); // NOLINT } } diff --git a/src/runtime/cpp/lean_runtime.h b/src/runtime/cpp/lean_runtime.h index ef007987d..686c6f2db 100644 --- a/src/runtime/cpp/lean_runtime.h +++ b/src/runtime/cpp/lean_runtime.h @@ -74,7 +74,7 @@ class obj { obj apply() const; obj_cell * steal_ptr() { obj_cell * r = m_data; m_data = LEAN_BOX(0); return r; } public: - obj():m_data(LEAN_BOX(0)) { static_assert(sizeof(obj) == sizeof(void *), "unexpected class obj size"); } + obj():m_data(LEAN_BOX(0)) { static_assert(sizeof(obj) == sizeof(void *), "unexpected class obj size"); } // NOLINT obj(unsigned cidx):m_data(LEAN_BOX(cidx)) {} obj(obj_cell * c):m_data(c) { m_data->inc_ref(); } obj(obj const & o):m_data(o.m_data) { if (LEAN_IS_PTR(m_data)) m_data->inc_ref(); }