diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-17 17:56:08 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-18 11:10:40 -0600 |
commit | 368e2945a871e16bdf2f3a26a401b9d157240a9d (patch) | |
tree | f5201f5c43f36b581b830ba291c80828a67ae6ad /src/theory/theory_engine.cpp | |
parent | 0d2c0a0c5a07479cadc5ba54e5f6258f1964d1e0 (diff) |
strings with new ideas
Diffstat (limited to 'src/theory/theory_engine.cpp')
-rw-r--r-- | src/theory/theory_engine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index e55d6a9c9..ff84e63b7 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -419,11 +419,9 @@ void TheoryEngine::check(Theory::Effort effort) { if(!d_inConflict && Theory::fullEffort(effort) && d_masterEqualityEngine != NULL && !d_lemmasAdded) { AlwaysAssert(d_masterEqualityEngine->consistent()); } - } catch(const theory::Interrupted&) { Trace("theory") << "TheoryEngine::check() => interrupted" << endl; } - // If fulleffort, check all theories if(Dump.isOn("theory::fullcheck") && Theory::fullEffort(effort)) { if (!d_inConflict && !needCheck()) { |