From bef44899c8471cc5f700615aacc8ac73c517a56c Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Fri, 20 Sep 2013 18:07:12 -0700
Subject: [PATCH] Suppress style warning on util/memory.cpp

---
 src/util/memory.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/util/memory.cpp b/src/util/memory.cpp
index 267a4090bf..bc3b07fd7d 100644
--- a/src/util/memory.cpp
+++ b/src/util/memory.cpp
@@ -43,7 +43,7 @@ void free(void * ptr) {
 #include <atomic>
 
 #if defined(HAS_MALLOC_USABLE_SIZE)
-#include <malloc.h>
+#include <malloc.h> // NOLINT
 namespace lean {
 inline size_t malloc_size(void * ptr)             { return malloc_usable_size(ptr); }
 inline void * malloc_core(size_t sz)              { return ::malloc(sz); }
@@ -61,7 +61,7 @@ inline void   free_core(void * ptr)               { free(ptr); }
 // inline void   free_core(void * ptr)               { tc_free(ptr); }
 // }
 #elif defined(HAS_MALLOCSIZE)
-#include <malloc/malloc.h>
+#include <malloc/malloc.h> // NOLINT
 namespace lean {
 inline size_t malloc_size(void * ptr)             { return ::malloc_size(ptr); }
 inline void * malloc_core(size_t sz)              { return ::malloc(sz); }
@@ -69,7 +69,7 @@ inline void * realloc_core(void * ptr, size_t sz) { return realloc(ptr, sz); }
 inline void   free_core(void * ptr)               { free(ptr); }
 }
 #elif defined(HAS_MSIZE)
-#include <malloc.h>
+#include <malloc.h> // NOLINT
 namespace lean {
 inline size_t malloc_size(void * ptr)             { return _msize(ptr); }
 inline void * malloc_core(size_t sz)              { return ::malloc(sz); }