From 3511caa8e3918d9b9b48b8137dc2f9b86e5f1004 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 18 Jun 2012 00:56:27 +0000
Subject: [PATCH] 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.

---
 src/main/driver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.30.2