chore(runtime): style

src/runtime/compact.cpp

@@ -305,7 +305,7 @@ void compacted_region::fix_mpz(object * o) {
         sz++;
     }
     /* use string to initialize memory */
-    new (&(((mpz_object*)o)->m_value)) mpz(s.c_str());
+    new (&(((mpz_object*)o)->m_value)) mpz(s.c_str()); // NOLINT
     /* update m_nested_mpzs list */
     *reinterpret_cast<mpz_object**>(m_next) = m_nested_mpzs;
     m_nested_mpzs = (mpz_object*)o;

src/runtime/lean.h

@@ -24,7 +24,7 @@ extern "C" {
 #include <stdatomic.h>
 #define  LEAN_USING_STD
 #endif
-#include "config.h"
+#include "config.h" // NOLINT
 
 #define LEAN_CLOSURE_MAX_ARGS      16
 #define LEAN_OBJECT_SIZE_DELTA     8

src/runtime/object.cpp

@@ -4,6 +4,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
+#include <string>
+#include <algorithm>
 #include <vector>
 #include <deque>
 #include "runtime/object.h"

src/runtime/object.h

@@ -5,6 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #pragma once
+#include <string>
 #include "runtime/lean.h"
 #include "runtime/mpz.h"