From 6685c1da8e7add4e4e6cc7996b43225d13782e56 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 9 Oct 2012 22:24:35 +0000
Subject: typo

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

(limited to 'src')

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 7c2b7b89e..e27fe65a4 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -328,7 +328,7 @@ int runCvc4(int argc, char* argv[], Options& opts) {
     }
 #else /* CVC4_DEBUG */
     if(opts[options::earlyExit]) {
-     _exit(returnValue);
+      _exit(returnValue);
     }
 #endif /* CVC4_DEBUG */
   }
-- 
cgit v1.2.3