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)