diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-29 19:44:03 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-29 19:44:03 +0000 |
commit | 97954a7b32e4606e2f9d561f2692e99f3ab46bcd (patch) | |
tree | b365799b4b00d055012d0aa7a6e4b712c5e85d48 /src/main/main.cpp | |
parent | 2771a78471f42951a01a269e4ea8b993d3807533 (diff) |
minor fixes as a result of review of Chris's getType() rewrite; also fix some macros to make various GCC versions happy
Diffstat (limited to 'src/main/main.cpp')
-rw-r--r-- | src/main/main.cpp | 4 |
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; |