Some minor changes after reviewing the portfolio "unified driver" commit.

(this commit was certified error- and warning-free by the test-and-commit script.)

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;