From ea3a38c5d332ed4c8ede20044219f014e577da59 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 27 Mar 2019 14:08:10 -0700
Subject: [PATCH] chore(runtime/object): style

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

diff --git a/src/runtime/object.h b/src/runtime/object.h
index 6e84ebf403..43e45c6143 100644
--- a/src/runtime/object.h
+++ b/src/runtime/object.h
@@ -8,6 +8,7 @@ Author: Leonardo de Moura
 #include <vector>
 #include <string>
 #include <cstdlib>
+#include <limits>
 #if !defined(__APPLE__)
 #include <malloc.h>
 #endif