From bab430af43684f61ffe3dec61820a98652a69f12 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 4 Jun 2014 14:51:36 -0700 Subject: [PATCH] chore(kernel/expr): cleanup Signed-off-by: Leonardo de Moura --- src/kernel/expr.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/kernel/expr.cpp b/src/kernel/expr.cpp index 5244ecef96..6699b9f61c 100644 --- a/src/kernel/expr.cpp +++ b/src/kernel/expr.cpp @@ -272,10 +272,8 @@ 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; }