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

chore(kernel/expr): cleanup

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-06-04 14:51:36 -07:00
parent 3354832c21
commit bab430af43
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/kernel/expr.cpp
View file

@ -272,11 +272,9 @@ static expr_cache LEAN_THREAD_LOCAL g_expr_cache(LEAN_INITIAL_EXPR_CACHE_CAPACIT
static bool LEAN_THREAD_LOCAL g_expr_cache_enabled = true;
inline expr cache(expr const & e) {
if (g_expr_cache_enabled) {
if (auto r = g_expr_cache.insert(e)) {
// std::cout << e << "\n===>\n" << *r << "\n";
if (auto r = g_expr_cache.insert(e))
return *r;
}
}
return e;
}
bool enable_expr_caching(bool f) {