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<void **>(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(); }