Fixing bug 360. The driver wasn't exiting when there was an error (it just plowed ahead to the next command). Now the driver exits on the first error, unless it's in interactive mode.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/main/driver.cpp b/src/main/driver.cpp
index 5ecfed3a6..742cba8d2 100644
--- 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;