From 140708fe8d4c07bb30a9e07de22cbd9150f46daa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 24 Aug 2019 07:06:42 -0700
Subject: [PATCH] chore(runtime): style

---
 src/runtime/compact.cpp | 2 +-
 src/runtime/lean.h      | 2 +-
 src/runtime/object.cpp  | 2 ++
 src/runtime/object.h    | 1 +
 4 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/runtime/compact.cpp b/src/runtime/compact.cpp
index 91c5a944e3..8c69602302 100644
--- a/src/runtime/compact.cpp
+++ b/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;
diff --git a/src/runtime/lean.h b/src/runtime/lean.h
index 7b3ee5626d..a9aa807aeb 100644
--- a/src/runtime/lean.h
+++ b/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
diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp
index 6d3076ca29..90903687be 100644
--- a/src/runtime/object.cpp
+++ b/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"
diff --git a/src/runtime/object.h b/src/runtime/object.h
index 4647829e30..acef47fd32 100644
--- a/src/runtime/object.h
+++ b/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"