Fixing bug 360. The driver wasn't exiting when there was an error (it just plowed...

diff --git a/src/main/driver.cpp b/src/main/driver.cpp
index 5ecfed3a6784fa35fed7e2a0314bf63af39eef6e..742cba8d20474a8e7ffd064b58e79e600407ec9f 100644 (file)
--- a/src/main/driver.cpp
+++ b/src/main/driver.cpp
@@ -283,7 +283,7 @@ int runCvc4(int argc, char* argv[], Options& options) {
       // have the replay parser use the file's declarations
       replayParser->useDeclarationsFrom(parser);
     }
-    while((cmd = parser->nextCommand())) {
+    while((cmd = parser->nextCommand()) && status) {
       if(dynamic_cast<QuitCommand*>(cmd) != NULL) {
         delete cmd;
         break;