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

feat(library/persistent_context_cache): use abstract_context_cache

Browse source
This commit is contained in:
Leonardo de Moura 2018-02-21 16:14:10 -08:00
parent 6bb592caf0
commit 993770e14a
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/persistent_context_cache.cpp
View file

@ -9,7 +9,7 @@ Author: Leonardo de Moura
#include "library/context_cache.h"
namespace lean {
typedef std::pair<unique_id, std::unique_ptr<context_cache>> unique_id_context_cache_pair;
typedef std::pair<unique_id, std::unique_ptr<abstract_context_cache>> unique_id_context_cache_pair;
MK_THREAD_LOCAL_GET_DEF(unique_id_context_cache_pair, get_unique_id_context_cache_pair);

4
src/library/persistent_context_cache.h
View file

@ -25,8 +25,8 @@ typedef unique_id context_cache_id;
See comment at abstract_context_cache for more details.
*/
class persistent_context_cache : public abstract_context_cache {
context_cache_id m_id;
std::unique_ptr<context_cache> m_cache_ptr;
context_cache_id m_id;
std::unique_ptr<abstract_context_cache> m_cache_ptr;
public:
persistent_context_cache(context_cache_id, options const &);
virtual ~persistent_context_cache();