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

chore(kernel/environment): dead code

Browse source
This commit is contained in:
Leonardo de Moura 2019-05-11 14:13:40 -07:00
parent b2f1bad2c7
commit 8ca1b7b2cb
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/kernel/environment.h
View file

@ -26,9 +26,6 @@ Author: Leonardo de Moura
namespace lean {
class environment;
typedef std::function<bool(name const &)> extra_opaque_pred; // NOLINT
extra_opaque_pred const & no_extra_opaque();
class environment_extension {
public:
virtual ~environment_extension();