From fde4e15cb421e69b18bb9eb3448f56866a968486 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 20 May 2018 08:18:03 -0700
Subject: [PATCH] fix(runtime/lean_obj): OSX issue

---
 src/runtime/lean_obj.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/runtime/lean_obj.h b/src/runtime/lean_obj.h
index 30a6956ef5..ded5f9307a 100644
--- a/src/runtime/lean_obj.h
+++ b/src/runtime/lean_obj.h
@@ -6,7 +6,10 @@ Author: Leonardo de Moura
 */
 #pragma once
 #include <string>
+#include <cstdlib>
+#if !defined(__APPLE__)
 #include <malloc.h>
+#endif
 #include "runtime/compiler_hints.h"
 #include "runtime/mpz.h"
 #include "runtime/int64.h"