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

chore(kernel): remove old #include

Browse source
This commit is contained in:
Leonardo de Moura 2019-03-06 05:29:22 -08:00
parent af039f420a
commit 818f2f2d4a
3 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/kernel/declaration.h
View file

@ -8,7 +8,6 @@ Author: Leonardo de Moura
#include <algorithm>
#include <string>
#include <limits>
#include "util/rc.h"
#include "kernel/expr.h"
namespace lean {

1
src/kernel/expr.h
View file

@ -15,7 +15,6 @@ Author: Leonardo de Moura
#include "runtime/thread.h"
#include "runtime/serializer.h"
#include "runtime/hash.h"
#include "util/rc.h"
#include "util/name.h"
#include "util/nat.h"
#include "util/buffer.h"

1
src/kernel/level.cpp
View file

@ -13,7 +13,6 @@ Author: Leonardo de Moura
#include "runtime/hash.h"
#include "util/safe_arith.h"
#include "util/buffer.h"
#include "util/rc.h"
#include "util/list.h"
#include "kernel/level.h"
#include "kernel/environment.h"