typo

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 7c2b7b89e91f4b9efa6e88efb356a98687502f97..e27fe65a48c0c323f53dfd08381958b8e75c85ee 100644 (file)
--- 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 */
   }