From 80b88c53cb0f04a4612d47629486fd7ddd393608 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Feb 2018 17:07:29 -0800 Subject: [PATCH] fix(library/persistent_context_cache): missing reset --- src/library/persistent_context_cache.cpp | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/library/persistent_context_cache.cpp b/src/library/persistent_context_cache.cpp index e700a7de23..9ce357cbe8 100644 --- a/src/library/persistent_context_cache.cpp +++ b/src/library/persistent_context_cache.cpp @@ -231,4 +231,12 @@ optional persistent_context_cache::get_app_builder_info(type_c void persistent_context_cache::set_app_builder_info(type_context & ctx, expr const & e, list 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() { +} }