diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 02:51:31 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 02:53:25 -0400 |
commit | 19f565aabe8ece904f67e1353ec67a5bf485fc97 (patch) | |
tree | e6a4c6af9906fc2d4f26b0c5b9d10d88a0827faa /src/main | |
parent | 06a53c4dbe1cafe56fc4e1b7e2f6f8cd7b5a66b3 (diff) |
Final fixes for smtcomp2014-application.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/driver_unified.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 0cec616fd..d9b9694e5 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -444,6 +444,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { } #ifdef CVC4_COMPETITION_MODE + *opts[options::out] << flush; // exit, don't return (don't want destructors to run) // _exit() from unistd.h doesn't run global destructors // or other on_exit/atexit stuff. |