diff options
Diffstat (limited to 'src/prop')
-rw-r--r-- | src/prop/prop_engine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp index 281645317..a82e1b735 100644 --- a/src/prop/prop_engine.cpp +++ b/src/prop/prop_engine.cpp @@ -272,8 +272,6 @@ bool PropEngine::isRunning() const { void PropEngine::interrupt() throw(ModalException) { if(! d_inCheckSat) { return; - throw ModalException("SAT solver is not currently solving anything; " - "cannot interrupt it"); } d_interrupted = true; |