minor fixes as a result of review of Chris's getType() rewrite; also fix some macros to make various GCC versions happy

1 files changed, 2 insertions, 2 deletions

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 38c75f0d3..fcd322e99 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -133,7 +133,7 @@ int runCvc4(int argc, char* argv[]) {
   cvc4_init();
 
   progPath = argv[0];
-  
+
   // Parse the options
   int firstArgIndex = options.parseOptions(argc, argv);
 
@@ -148,7 +148,7 @@ int runCvc4(int argc, char* argv[]) {
   } else if( options.version ) {
     *options.out << Configuration::about().c_str() << flush;
     exit(0);
-  } 
+  }
 
   segvNoSpin = options.segvNoSpin;