From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 9 Oct 2012 22:24:35 +0000 (+0000)
Subject: typo
X-Git-Tag: cvc5-1.0.0~7712
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6685c1da8e7add4e4e6cc7996b43225d13782e56;p=cvc5.git

typo
---

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 */
   }