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

feat(library/class_instance_resolution): reset internal indices

Browse source
This commit is contained in:
Leonardo de Moura 2015-10-18 18:50:34 -07:00
parent 1f01e5480d
commit a7655b7d43
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/library/class_instance_resolution.cpp
View file

@ -173,6 +173,9 @@ struct cienv {
} }
void reset_cache_and_ctx() { void reset_cache_and_ctx() {
m_next_local_idx = 0;
m_next_uvar_idx = 0;
m_next_mvar_idx = 0;
m_ctx = list<expr>(); m_ctx = list<expr>();
m_local_instances.clear(); m_local_instances.clear();
reset_cache(); reset_cache();