michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(library/class_instance_resolution): remove reset_cache_and_ctx used for debugging purposes

Browse source
This commit is contained in:
Leonardo de Moura 2015-10-18 18:48:46 -07:00
parent 2edccf007b
commit 1f01e5480d
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/library/class_instance_resolution.cpp
View file

@ -1165,7 +1165,6 @@ struct cienv {
optional<expr> operator()(environment const & env, options const & o, pos_info_provider const * pip, list<expr> const & ctx, expr const & type,
expr const & pos_ref) {
reset_cache_and_ctx();
set_env(env);
set_options(o);
set_ctx(ctx);