max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(runtime/object): remove alloc.h dependency

Browse source
This commit is contained in:
Leonardo de Moura 2019-08-15 09:21:30 -07:00
parent 45ed2995d4
commit f1fa528dbe
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/runtime/object.h
View file

@ -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)