From dd5fa4626f05fe48ec86ff41d780fbd15518bf46 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 28 Apr 2019 09:18:54 -0700
Subject: [PATCH] chore(runtime/object): style

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

diff --git a/src/runtime/object.h b/src/runtime/object.h
index b7d53c886b..011f17eb6e 100644
--- a/src/runtime/object.h
+++ b/src/runtime/object.h
@@ -12,7 +12,7 @@ Author: Leonardo de Moura
 #if !defined(__APPLE__)
 #include <malloc.h>
 #endif
-#include "config.h"
+#include "config.h" // NOLINT
 #include "runtime/compiler_hints.h"
 #include "runtime/mpz.h"
 #include "runtime/int64.h"