From ade2dbe15a314e22fd124e7ec937d6505dc117ec Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 31 May 2016 16:47:14 +0100 Subject: [PATCH] Cache cleanup fix for bv_simplifier_plugin. Fixes #615 --- src/ast/simplifier/bv_simplifier_plugin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/simplifier/bv_simplifier_plugin.cpp b/src/ast/simplifier/bv_simplifier_plugin.cpp index 45fee07e4..11ed1b9e0 100644 --- a/src/ast/simplifier/bv_simplifier_plugin.cpp +++ b/src/ast/simplifier/bv_simplifier_plugin.cpp @@ -418,7 +418,7 @@ void bv_simplifier_plugin::mk_extract(unsigned high, unsigned low, expr* arg, ex mk_extract_core(high, low, arg, result); } if (m_extract_cache.size() > (1 << 12)) { - m_extract_cache.reset(); + flush_caches(); } TRACE("bv_simplifier_plugin", tout << "mk_extract [" << high << ":" << low << "]\n";