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