From f1fa528dbe745a9b87d85bd1d0db8f15a9799e82 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 15 Aug 2019 09:21:30 -0700 Subject: [PATCH] chore(runtime/object): remove `alloc.h` dependency --- src/runtime/object.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/runtime/object.h b/src/runtime/object.h index aecc8bb658..85a81d6ffd 100644 --- a/src/runtime/object.h +++ b/src/runtime/object.h @@ -17,7 +17,6 @@ Author: Leonardo de Moura #include "runtime/mpz.h" #include "runtime/int64.h" #include "runtime/thread.h" -#include "runtime/alloc.h" #ifdef _MSC_VER #define LEAN_ALLOCA(s) ::_alloca(s)