diff options
author | lianah <lianahady@gmail.com> | 2014-11-18 14:35:02 -0500 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-11-18 14:35:02 -0500 |
commit | fb6326517ce661d4d9bb1c593cce2a8b91eb51b3 (patch) | |
tree | 6da2859de50b7bbfbbaf3b45dd0c551323bce08e /src/util | |
parent | ba02a5247204abc3b6d38a61f5f7d31f23e765ac (diff) |
All Minisat solve calls now return lbool (fixes bug 599)
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/resource_manager.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/util/resource_manager.cpp b/src/util/resource_manager.cpp index 2aca55616..b0fd37fd2 100644 --- a/src/util/resource_manager.cpp +++ b/src/util/resource_manager.cpp @@ -184,10 +184,10 @@ void ResourceManager::spendResource() throw (UnsafeInterruptException) { Trace("limit") << "ResourceManager::spendResource: elapsed time" << d_cumulativeTimer.elapsed() << std::endl; } - if (smt::smtEngineInScope()) { - theory::Rewriter::clearCaches(); - } if (d_isHardLimit) { + if (smt::smtEngineInScope()) { + theory::Rewriter::clearCaches(); + } throw UnsafeInterruptException(); } |