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

fix(library/persistent_context_cache): missing reset

Browse source
This commit is contained in:
Leonardo de Moura 2018-02-20 17:07:29 -08:00
parent 4a936f004b
commit 80b88c53cb
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/library/persistent_context_cache.cpp
View file

@ -231,4 +231,12 @@ optional<app_builder_info> persistent_context_cache::get_app_builder_info(type_c
void persistent_context_cache::set_app_builder_info(type_context & ctx, expr const & e, list<bool> const & m, app_builder_info const & r) {
return m_cache_ptr->set_app_builder_info(ctx, e, m, r);
}
void initialize_persistent_context_cache() {
/* We need to reset the cache since the unique_id local counters are reset too. */
register_thread_local_reset_fn([]() { get_unique_id_context_cache_pair() = unique_id_context_cache_pair(); });
}
void finalize_persistent_context_cache() {
}
}